Package com.ibm.wala.fixedpoint.impl
Class AbstractFixedPointSolver.Statement
- java.lang.Object
-
- com.ibm.wala.util.graph.impl.NodeWithNumber
-
- com.ibm.wala.fixpoint.AbstractStatement<T,AbstractOperator<T>>
-
- com.ibm.wala.fixedpoint.impl.GeneralStatement<T>
-
- com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver.Statement
-
- All Implemented Interfaces:
IFixedPointStatement<T>
,INodeWithNumber
- Enclosing class:
- AbstractFixedPointSolver<T extends IVariable<T>>
protected class AbstractFixedPointSolver.Statement extends GeneralStatement<T>
-
-
Field Summary
-
Fields inherited from class com.ibm.wala.fixedpoint.impl.GeneralStatement
lhs, rhs
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected T[]
makeRHS(int size)
-
Methods inherited from class com.ibm.wala.fixedpoint.impl.GeneralStatement
equals, evaluate, getLHS, getOperator, getRHS, hashCode, hasVariable
-
Methods inherited from class com.ibm.wala.fixpoint.AbstractStatement
getOrderNumber, toString
-
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.util.graph.INodeWithNumber
getGraphNodeId, setGraphNodeId
-
-
-
-
Constructor Detail
-
Statement
public Statement(T lhs, AbstractOperator<T> operator, T op1, T op2)
-
Statement
public Statement(T lhs, AbstractOperator<T> operator, T[] rhs)
-
Statement
public Statement(T lhs, AbstractOperator<T> operator)
-
-