| Prev Package | Next Package | Frames | No Frames |
Interface Summary | |
| Invariant | Represents the mathematical concept of graph invariant, like 'diameter', 'average degree', 'largest eigenvalue'... |
| InvariantComputer | Implemented by all invariant computers. |
| InvariantComputerFactory | An object that satisfies this interface can be used to create an invariant computer. |
| InvariantExpressionNode | Interface combining Invariant, InvariantNode and Expression. |
| InvariantFactory | An object that satisfies this interface can be used to create an invariant. |
| InvariantManagerListener | Listens to events reported by the invariant manager. |
| InvariantNode | Common interface for all elements that can be part of an InvariantGroup,
i.e., invariants, invariant factories or invariant groups. |
| InvariantNode.Visitor | Interface for visitors to these nodes. |
| InvariantValue | Interface that should be implemented by all classes that represent an invariant value. |
| InvariantValueDelegate<T,extends,InvariantValue> | |
| PrioritizedRunnable | Implementation of a Runnable that includes an integer priority. |
Class Summary | |
| AbstractInvariant | Abstract implementation of an Invariant. |
| AbstractPrioritizedRunnable | Abstract implementation of PrioritizedRunnable that supports
scheduling of Runnables. |
| IllegalInvariantComputerException | Indicates that an invariant computer or invariant factory computer could not be retreived or instantiated |
| InvariantGroup | Groups a list of invariants, invariant factories or subgroups. |
| InvariantManager | Keeps track of relations between invariants and invariant computers. |
| InvariantType | Helper enum which handles invariant types. |
| PrioritizedRunnableExecutor | The global PrioritizedRunnableExecutor. |
| UnknownInvariantException | Indicates that the id of an unknown invariant or invariant factory was encountered. |
| UnknownInvariantTypeException | Indicates that een unknown invariant type was encountered. |