| 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 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 | |