Package com.ibm.wala.fixpoint
Class BasicUnaryStatement<T extends IVariable<T>>
java.lang.Object
com.ibm.wala.util.graph.impl.NodeWithNumber
com.ibm.wala.fixpoint.AbstractStatement<T,UnaryOperator<T>>
com.ibm.wala.fixpoint.UnaryStatement<T>
com.ibm.wala.fixpoint.BasicUnaryStatement<T>
- All Implemented Interfaces:
IFixedPointStatement<T>,INodeWithNumber
An implementation of UnaryStatement that carries its operator explicitly
-
Field Summary
Fields inherited from class com.ibm.wala.fixpoint.UnaryStatement
lhs, rhs -
Method Summary
Methods inherited from class com.ibm.wala.fixpoint.UnaryStatement
equals, evaluate, getLHS, getOperands, getRHS, getRightHandSide, hashCode, hasVariable, toStringMethods inherited from class com.ibm.wala.fixpoint.AbstractStatement
getOrderNumberMethods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber
getGraphNodeId, setGraphNodeIdMethods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface com.ibm.wala.util.graph.INodeWithNumber
getGraphNodeId, setGraphNodeId
-
Method Details
-
getOperator
- Specified by:
getOperatorin classAbstractStatement<T extends IVariable<T>,UnaryOperator<T extends IVariable<T>>>
-