public final class Equality extends AbstractSortedOperator
Modifier and Type | Field and Description |
---|---|
static Equality |
EQUALS
the usual 'equality' operator '='
|
static Equality |
EQV
the usual 'equivalence' operator '<->' (be A, B formulae then
'A <-> B' is true if and only if A and B have the same truth
value
|
Modifier | Constructor and Description |
---|---|
private |
Equality(Name name,
Sort targetSort) |
additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort
arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
arity, bindVarsAt, isRigid, validTopLevel