Class EqualityPredicate

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

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

      • EqualityPredicate

        public EqualityPredicate()