org.jmlspecs.models.resolve
Interfaces
AntisymmetricCompareTo
AsymmetricCompareTo
CompareTo
DenselyOrderedCompareTo
PartiallyOrderedCompareTo
PreorderedCompareTo
ReflexiveCompareTo
StrictlyOrderedCompareTo
StrictPartiallyOrderedCompareTo
SymmetricCompareTo
TotalCompareTo
TotallyOrderedCompareTo
TotalPreorderedCompareTo
TransitiveCompareTo
TrichotomousCompareTo
Classes
NaturalNumber
NaturalNumber_JML_TestData
StringOfObject
StringOfObject_JML_TestData
Exceptions
UndefinedException