public final class ElementaryUpdate extends AbstractSortedOperator
Modifier and Type | Field and Description |
---|---|
private static java.util.WeakHashMap<UpdateableOperator,java.lang.ref.WeakReference<ElementaryUpdate>> |
instances |
private UpdateableOperator |
lhs |
Modifier | Constructor and Description |
---|---|
private |
ElementaryUpdate(UpdateableOperator lhs) |
Modifier and Type | Method and Description |
---|---|
static ElementaryUpdate |
getInstance(UpdateableOperator lhs)
Returns the elementary update operator for the passed left hand side.
|
UpdateableOperator |
lhs()
Returns the left hand side of this elementary update operator.
|
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
private static final java.util.WeakHashMap<UpdateableOperator,java.lang.ref.WeakReference<ElementaryUpdate>> instances
private final UpdateableOperator lhs
private ElementaryUpdate(UpdateableOperator lhs)
public static ElementaryUpdate getInstance(UpdateableOperator lhs)
public UpdateableOperator lhs()