|
Class Summary |
| 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. |