Modifier and Type | Method and Description |
---|---|
void |
Cell.addToSequences(Operation o)
Adds the Operation given at the end of every OperationSequence of the
Result.
|
Modifier and Type | Method and Description |
---|---|
abstract Operation |
Operation.clone()
Creates a copy of the Operation
|
Operation |
OperationSequence.getOperation(int i)
Returns the Operation that is at the position given
|
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<Operation> |
OperationSequence.iterator()
Returns an iterator to access to every Operation of the OperationSequence
|
Modifier and Type | Method and Description |
---|---|
void |
OperationSequence.addOperation(Operation operation)
Adds an Operation at the end of the sequence
|
void |
OperationSequence.addOperation(Operation operation,
int position)
Adds an Operation at the given position in the sequence
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractUpdateOperation
Abstract Operation.
|
class |
AddMinimalTreeOperation |
class |
CorrectTreeOperation |
Modifier and Type | Method and Description |
---|---|
Operation |
AddMinimalTreeOperation.clone() |
Operation |
CorrectTreeOperation.clone() |
Modifier and Type | Class and Description |
---|---|
class |
AddNodeOperation
Add Node Operation.
|
class |
EditOperation
Edit Node Operation.
|
class |
RelabelNodeOperation
Relabel Node Operation.
|
class |
RemoveNodeOperation
Remove Node Operation.
|
Modifier and Type | Method and Description |
---|---|
Operation |
AddNodeOperation.clone() |
Operation |
RemoveNodeOperation.clone() |
Operation |
RelabelNodeOperation.clone() |
Modifier and Type | Class and Description |
---|---|
class |
AddTreeOperation
Add Tree Operation.
|
class |
RemoveTreeOperation
Remove tree Operation.
|
class |
ReplaceTreeOperation
Replace Tree Operation.
|
class |
UpdateOperation
Update Operation.
|
Modifier and Type | Method and Description |
---|---|
Operation |
RemoveTreeOperation.clone() |
Operation |
AddTreeOperation.clone() |
Operation |
ReplaceTreeOperation.clone() |