Uses of Class
mauda.operation.Operation

Packages that use Operation

mauda	Provides important base-classes and interfaces used by the whole MAUDA-Project.
mauda.feedback	Provides feedback-specific classes, used by the different feedback-types.
mauda.operation	Provides classes, to store operations and suboperations.
mauda.plugin	Provides common plug-in-specific classes and interfaces, used by implemented plug-ins.
mauda.plugin.binqueue	Classes for the binomial-queue plug-in.
mauda.plugin.fibheap	Classes and interfaces for the fibonacci-heap plug-in.

Uses of Operation in mauda

Methods in mauda that return Operation

Operation

OperationRecorder.getOperation(int opnr) Gets the opnr'th operation.

Methods in mauda with parameters of type Operation

void	Failure.setSuperOp(Operation op) Sets the operation the failure coressponds to.

Uses of Operation in mauda.feedback

Methods in mauda.feedback that return Operation

Operation

FeedbackObject.getOperation() Gets the operation the feedback belongs to

Methods in mauda.feedback with parameters of type Operation

void	FeedbackObject.setOperation(Operation op) Sets the operation the feedback belongs to

Uses of Operation in mauda.operation

Methods in mauda.operation that return Operation

Operation	OperationQueue.get(int index) Gets the index'th Operation of this queue
Operation[]	OperationQueue.toArray() Converts this OperationQueue to an array

Methods in mauda.operation with parameters of type Operation

void	OperationQueue.add(Operation operation) Adds a Operation
void	OperationQueue.set(int index, Operation op) Sets a operation at the specified index

Uses of Operation in mauda.plugin

Methods in mauda.plugin with parameters of type Operation

void	OperationExecuter.execute(Operation op, java.lang.Object o) Executes an Operation on the current data-structure
void	OperationExecuter.executeTemplate(Operation op, java.lang.Object o) Executes an Operation on a copy of the current data-structure, and filles consequently the SubOperations for the current operation, without changing the current data-structure.

Uses of Operation in mauda.plugin.binqueue

Methods in mauda.plugin.binqueue with parameters of type Operation

void	BinQueueOperationExecuter.execute(Operation op, java.lang.Object o)
void	BinQueueOperationExecuter.executeTemplate(Operation op, java.lang.Object o)

Uses of Operation in mauda.plugin.fibheap

Methods in mauda.plugin.fibheap with parameters of type Operation

void	FibHeapOperationExecuter.execute(Operation op, java.lang.Object o)
void	FibHeapOperationExecuter.executeTemplate(Operation op, java.lang.Object o)