public abstract class NullaryStatement<T extends IVariable> extends AbstractStatement<T,NullaryOperator<T>>
Modifier | Constructor and Description |
---|---|
protected |
NullaryStatement(T lhs)
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.
|
T[] |
getRHS()
returns the list of free variables appearing in the right-hand side of the
statement
|
int |
hashCode()
Subclasses must implement this, to prevent non-determinism.
|
boolean |
hasVariable(T cell)
Does this equation contain an appearance of a given cell?
|
getOperator, getOrderNumber, toString
getGraphNodeId, setGraphNodeId
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getGraphNodeId, setGraphNodeId
protected NullaryStatement(T lhs)
lhs
- the lattice cell set by this equationpublic byte evaluate()
public T getLHS()
public boolean hasVariable(T cell)
cell
- the cell in questionpublic boolean equals(Object o)
equals
in class AbstractStatement<T extends IVariable,NullaryOperator<T extends IVariable>>
public int hashCode()
AbstractStatement
hashCode
in class AbstractStatement<T extends IVariable,NullaryOperator<T extends IVariable>>
public T[] getRHS() throws UnsupportedOperationException
IFixedPointStatement
UnsupportedOperationException