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.