|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use tools | |
---|---|
interfaces | |
models |
Classes in tools used by interfaces | |
---|---|
HasInvariant
Interface for classes that have invariant method implemented |
Classes in tools used by models | |
---|---|
HasInvariant
Interface for classes that have invariant method implemented |
|
InvariantBroken
InvariantBroken is raised when the invariant of a class is not true in
the current state of the instance |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |