Package org.grinvin.invariants

Interface Summary

InvariantComputer Implemented by all invariant computers.
InvariantComputerFactory An object that satisfies this interface can be used to create an invariant computer.
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.

Class Summary

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.