Class InequalityPredicate

  • All Implemented Interfaces:
    java.lang.Comparable<TypedStructureAdapter>, TypedStructure

    public class InequalityPredicate
    extends Predicate
    This class models an inequality predicate, meaning a predicate of arity 2 that maps to the complement of the identity relation. Terms of the inequality predicate are of the sort "_Any" which is considered equal to all other sorts.
    Author:
    Anna Gessler
    • Constructor Detail

      • InequalityPredicate

        public InequalityPredicate()