public final class IfThenElse extends AbstractOperator
Modifier and Type | Field and Description |
---|---|
static IfThenElse |
IF_THEN_ELSE |
Modifier | Constructor and Description |
---|---|
private |
IfThenElse() |
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.
|
private Sort |
getCommonSuperSort(Sort s1,
Sort s2) |
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 IfThenElse IF_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