public final class Junctor extends AbstractSortedOperator
Modifier and Type | Field and Description |
---|---|
static Junctor |
AND
the usual 'and' operator '/\' (be A, B formulae then 'A /\ B'
is true if and only if A is true and B is true
|
static Junctor |
FALSE
the false constant
|
static Junctor |
IMP
the usual 'implication' operator '->' (be A, B formulae then
'A -> B' is true if and only if A is false or B is true
|
static Junctor |
NOT
the usual 'negation' operator '-'
|
static Junctor |
OR
the usual 'or' operator '\/' (be A, B formulae then 'A \/ B'
is true if and only if A is true or B is true
|
static Junctor |
TRUE
the true constant
|
Modifier | Constructor and Description |
---|---|
private |
Junctor(Name name,
int arity) |
Modifier and Type | Method and Description |
---|---|
private static Sort[] |
createFormulaSortArray(int arity) |
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
public static final Junctor TRUE
public static final Junctor FALSE
public static final Junctor AND
public static final Junctor OR
public static final Junctor NOT
public static final Junctor IMP
private Junctor(Name name, int arity)
private static Sort[] createFormulaSortArray(int arity)