Uses of Package
tools

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