Package | Description |
---|---|
models | |
specifications | |
tools | |
views |
Class and Description |
---|
HasInvariant
Interface for classes that have an invariant method implemented
|
InvariantBrokenException
InvariantBrokenException is raised when the invariant of a class is not true in
the current state of the instance (corresponding to an invalid or unsafe state) |
Randomizable
Interface for classes that have a randomize method implemented
|
Class and Description |
---|
HasInvariant
Interface for classes that have an invariant method implemented
|
InvariantBrokenException
InvariantBrokenException is raised when the invariant of a class is not true in
the current state of the instance (corresponding to an invalid or unsafe state) |
Randomizable
Interface for classes that have a randomize method implemented
|
Class and Description |
---|
InvariantBrokenException
InvariantBrokenException is raised when the invariant of a class is not true in
the current state of the instance (corresponding to an invalid or unsafe state) |
Class and Description |
---|
InvariantBrokenException
InvariantBrokenException is raised when the invariant of a class is not true in
the current state of the instance (corresponding to an invalid or unsafe state) |