public final class IfExThenElse extends AbstractOperator
Modifier and Type | Field and Description |
---|---|
static IfExThenElse |
IF_EX_THEN_ELSE |
Modifier | Constructor and Description |
---|---|
private |
IfExThenElse() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
additionalValidTopLevel(Term term)
Allows subclasses to impose custom demands on what constitutes a
valid term using the operator represented by the subclass.
|
Sort |
sort(ImmutableArray<Term> terms)
Determines the sort of the
Term if it would be created using this
Operator as top level operator and the given terms as sub terms. |
arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind
public static final IfExThenElse IF_EX_THEN_ELSE
public Sort sort(ImmutableArray<Term> terms)
Operator
Term
if it would be created using this
Operator as top level operator and the given terms as sub terms. The
assumption that the constructed term would be allowed is not checked.terms
- an array of Term containing the subterms of a (potential)
term with this operator as top level operatorprotected boolean additionalValidTopLevel(Term term)
AbstractOperator
additionalValidTopLevel
in class AbstractOperator