public final class UpdateApplication extends AbstractOperator
Modifier and Type | Field and Description |
---|---|
static UpdateApplication |
UPDATE_APPLICATION |
Modifier | Constructor and Description |
---|---|
private |
UpdateApplication() |
Modifier and Type | Method and Description |
---|---|
boolean |
additionalValidTopLevel(Term term)
Allows subclasses to impose custom demands on what constitutes a
valid term using the operator represented by the subclass.
|
static Term |
getTarget(Term t) |
static Term |
getUpdate(Term t) |
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. |
static int |
targetPos() |
static int |
updatePos() |
arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind
public static final UpdateApplication UPDATE_APPLICATION
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 operatorpublic boolean additionalValidTopLevel(Term term)
AbstractOperator
additionalValidTopLevel
in class AbstractOperator
public static int updatePos()
public static Term getUpdate(Term t)
t
- term with this operator as top level operatorpublic static int targetPos()