Class EqualityPredicate

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

    • EqualityPredicate

      public EqualityPredicate()
      constructor