public final class UpdateJunctor extends AbstractSortedOperator
Modifier and Type | Field and Description |
---|---|
static UpdateJunctor |
PARALLEL_UPDATE |
static UpdateJunctor |
SKIP |
Modifier | Constructor and Description |
---|---|
private |
UpdateJunctor(Name name,
int arity) |
Modifier and Type | Method and Description |
---|---|
private static Sort[] |
createUpdateSortArray(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 UpdateJunctor SKIP
public static final UpdateJunctor PARALLEL_UPDATE
private UpdateJunctor(Name name, int arity)
private static Sort[] createUpdateSortArray(int arity)