public abstract class UnaryStatement<T extends IVariable> extends AbstractStatement<T,UnaryOperator<T>>
Modifier and Type | Field and Description |
---|---|
protected T |
lhs
The operands
|
protected T |
rhs |
Modifier | Constructor and Description |
---|---|
protected |
UnaryStatement(T lhs,
T rhs)
Constructor for case of one operand on the right-hand side.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
byte |
evaluate()
Evaluate this equation, setting a new value for the
left-hand side.
|
T |
getLHS()
Return the left-hand side of this equation.
|
IVariable[] |
getOperands()
Return the operands in this equation.
|
T[] |
getRHS()
returns the list of free variables appearing in the right-hand side of the
statement
|
T |
getRightHandSide() |
int |
hashCode()
Subclasses must implement this, to prevent non-determinism.
|
boolean |
hasVariable(T cell)
Does this equation contain an appearance of a given cell?
|
String |
toString()
Return a string representation of this object
|
getOperator, getOrderNumber
getGraphNodeId, setGraphNodeId
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getGraphNodeId, setGraphNodeId
public byte evaluate()
public T getLHS()
public T getRightHandSide()
public IVariable[] getOperands()
public boolean hasVariable(T cell)
cell
- the cell in questionpublic String toString()
toString
in class AbstractStatement<T extends IVariable,UnaryOperator<T extends IVariable>>
public boolean equals(Object o)
equals
in class AbstractStatement<T extends IVariable,UnaryOperator<T extends IVariable>>
public int hashCode()
AbstractStatement
hashCode
in class AbstractStatement<T extends IVariable,UnaryOperator<T extends IVariable>>
public T[] getRHS() throws UnsupportedOperationException
IFixedPointStatement
UnsupportedOperationException