Interface ConstraintJustification
- All Known Implementing Classes:
DefaultConstraintJustification
public interface ConstraintJustification
Marker interface for constraint justifications.
All classes used as constraint justifications must implement this interface.
No two instances of such implementing class should be equal,
as it is possible for the same constraint to be justified twice by the same facts.
(Such as in the case of a non-distinct ConstraintStream.)
Implementing classes may decide to implement Comparable
to preserve order of instances when displayed in user interfaces, logs etc.
- See Also: