Skip navigation links
A B C D E F G H I J M N O P R S T U V W 

I

IMAGE_HEIGHT - Static variable in class views.DominoImages
 
IMAGE_WIDTH - Static variable in class views.DominoImages
 
IMAGES_DIRECTORY - Static variable in class views.DominoImages
 
instance() - Static method in class views.DominoImages
 
invariant() - Method in class models.Domino
 
invariant() - Method in class models.ObservableDomino
 
INVARIANT - Static variable in interface specifications.DominoSpecification
The class invariant checks that the MAX value is bigger than the MIN value
NOTE: Should NOT be changed
invariant() - Method in interface specifications.DominoSpecification
Should check that the left and right values are in allowed range DominoSpecification.MIN ..
invariant() - Method in interface tools.HasInvariant
 
invariant() - Method in class views.DominoImages
 
InvariantBrokenException - Exception in tools
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)
InvariantBrokenException(String) - Constructor for exception tools.InvariantBrokenException
Constructor of the exception raised when invariants are broken
A B C D E F G H I J M N O P R S T U V W 
Skip navigation links