com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver.Statement

protected class AbstractFixedPointSolver.Statement extends GeneralStatement<T>

Field Summary

Fields inherited from class com.ibm.wala.fixedpoint.impl.GeneralStatement
lhs, rhs
Constructor Summary

Constructors

Constructor

Description

Statement(T lhs, AbstractOperator<T> operator)

Statement(T lhs, AbstractOperator<T> operator, T[] rhs)

Statement(T lhs, AbstractOperator<T> operator, T op1, T op2)

Statement(T lhs, AbstractOperator<T> operator, T op1, T op2, T op3)
Method Summary

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

Class AbstractFixedPointSolver.Statement

Field Summary