Class EqualityPredicate

java.lang.Object
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