| Member |
Represents long scalars that are always members of a sequence of long values.
|
| MemberFloat |
Represents double scalars that are always members of a sequence of double values.
|
| SeqFloatEqual |
Represents an invariant between a double scalar and a a sequence of double values.
|
| SeqFloatGreaterEqual |
Represents an invariant between a double scalar and a a sequence of double values.
|
| SeqFloatGreaterThan |
Represents an invariant between a double scalar and a a sequence of double values.
|
| SeqFloatLessEqual |
Represents an invariant between a double scalar and a a sequence of double values.
|
| SeqFloatLessThan |
Represents an invariant between a double scalar and a a sequence of double values.
|
| SeqIntEqual |
Represents an invariant between a long scalar and a a sequence of long values.
|
| SeqIntGreaterEqual |
Represents an invariant between a long scalar and a a sequence of long values.
|
| SeqIntGreaterThan |
Represents an invariant between a long scalar and a a sequence of long values.
|
| SeqIntLessEqual |
Represents an invariant between a long scalar and a a sequence of long values.
|
| SeqIntLessThan |
Represents an invariant between a long scalar and a a sequence of long values.
|
| SequenceFloat |
Abstract base class for comparing double sequences to double variables.
|
| SequenceScalar |
Abstract base class for comparing long sequences to long variables.
|