Interface ConstraintJustification

  • All Known Implementing Classes:

    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: