Class InequalityPredicate

All Implemented Interfaces:
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 Details

    • InequalityPredicate

      public InequalityPredicate()
      constructor