Prev Package | Next Package | Frames | No Frames |
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 IntegerMatrixValue s. |
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 |