AbstractInvariantRunnable | The abstract class to support the scheduling of the computation of invariant
values. |
BooleanValue | Invariant type which allows boolean values. |
IllegalInvariantComputerException | Indicates that an invariant computer or invariant factory computer
could not be retreived or instantiated
|
IntegerValue | Invariant type which allows integral values, positive and negative infinity
and undefined values. |
Invariant | Represents the mathematical concept of graph invariant, like 'diameter',
'average degree', 'largest eigenvalue'... |
InvariantExecutor | The global InvariantExecutor. |
InvariantGroup | Groups a list of invariants, invariant factories or subgroups. |
InvariantManager | Keeps track of relations between invariants and invariant computers. |
InvariantTypes | Helper class which handles invariant types. |
InvariantValue | Wraps the result of an invariant computation and provides a
means to represent this result both as a string and an XML element. |
RealValue | Invariant type which allows real values, including positive and negative infinity
and undefined values. |
UnknownInvariantException | Indicates that the id of an unknown invariant or invariant factory was
encountered. |
UnknownInvariantTypeException | Indicates that een unknown invariant type was
encountered. |