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 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 GeneralStatement

equals, evaluate, getLHS, getOperator, getRHS, hashCode, hasVariable

Methods inherited from class AbstractStatement

getOrderNumber, toString

Methods inherited from class NodeWithNumber

getGraphNodeId, setGraphNodeId

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface INodeWithNumber

getGraphNodeId, setGraphNodeId

Constructor Details

Statement

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

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)

Method Details

makeRHS

protected T[] makeRHS(int size)

Specified by:

makeRHS in class GeneralStatement<T extends IVariable<T>>