Class AbstractStatement<T extends IVariable<T>,O extends AbstractOperator<T>>
java.lang.Object
com.ibm.wala.util.graph.impl.NodeWithNumber
com.ibm.wala.fixpoint.AbstractStatement<T,O>
- All Implemented Interfaces:
IFixedPointStatement<T>
,INodeWithNumber
- Direct Known Subclasses:
GeneralStatement
,NullaryStatement
,UnaryStatement
public abstract class AbstractStatement<T extends IVariable<T>,O extends AbstractOperator<T>>
extends NodeWithNumber
implements IFixedPointStatement<T>
Represents a single step in an iterative solver
-
Constructor Summary
-
Method Summary
Methods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber
getGraphNodeId, setGraphNodeId
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface com.ibm.wala.fixpoint.IFixedPointStatement
evaluate, getLHS, getRHS, hasVariable
Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber
getGraphNodeId, setGraphNodeId
-
Constructor Details
-
AbstractStatement
public AbstractStatement()
-
-
Method Details
-
getOperator
-
hashCode
-
equals
-
toString
-
getOrderNumber
public final int getOrderNumber()
-