Package org.grinvin.invariants.values

Class Summary

AbstractInvariantValue Wraps the result of an invariant computation and provides a means to represent this result both as a string and an XML element.
AbstractInvariantValueDelegate<T,extends,InvariantValue>
BooleanValue Invariant type which allows boolean values.
BooleanValueDelegate
IntegerMatrixValue
IntegerMatrixValueDelegate Delegate for IntegerMatrixValues.
IntegerValue Invariant type which allows integral values, positive and negative infinity and undefined values.
IntegerValueDelegate
ListOfIntegersValue Represents an invariant which is a list of integers.
ListOfIntegersValueDelegate
ListOfRealsValue Represents an invariant which is a list of reals.
ListOfRealsValueDelegate
NumericValue Common superclass of IntegerValue and RealValue.
NumericValueDelegate<T,extends,NumericValue>
RealValue Invariant type which allows real values, including positive and negative infinity and undefined values.
RealValueDelegate
UnavailableValue Invariant value that represents a value that cannot be computed (due to missing graph or invariant computer).
UnavailableValueDelegate