| StdString |
Baseclass for binary numeric invariants.
|
| StdString.SubString |
Represents the substring invariant between two String scalars.
|
| StringEqual |
Represents an invariant of == between two String scalars.
|
| StringGreaterEqual |
Represents an invariant of ≥ between two String scalars.
|
| StringGreaterThan |
Represents an invariant of > between two String scalars.
|
| StringLessEqual |
Represents an invariant of ≤ between two String scalars.
|
| StringLessThan |
Represents an invariant of < between two String scalars.
|
| StringNonEqual |
Represents an invariant of !
|
| TwoString |
Base class for invariants over two variables of type String.
|