public interface Algorithm
Modifier and Type | Interface and Description |
---|---|
static class |
Algorithm.OrderingType
Ordering Types for different algorithm, e.g. the simulation-antichain-based algorithms
|
static class |
Algorithm.SearchType
Search Types for different algorithm, e.g. the antichain-based algorithms
|
Modifier and Type | Method and Description |
---|---|
void |
addComputationListener(ComputationListener l)
Adds the Computation Listener
l to this algorithm. |
void |
cancelComputation()
Cancels the computation of this algorithm.
|
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this algorithm. |
void addComputationListener(ComputationListener l)
l
to this algorithm.l
- the listener to receive computation eventsvoid removeComputationListener(ComputationListener l)
l
from this algorithm.l
- the listener to be removedvoid cancelComputation()