Package com.ibm.wala.fixpoint
Interface IVariable<T extends IVariable<T>>
- All Superinterfaces:
INodeWithNumber
- All Known Implementing Classes:
AbstractVariable
,BitVectorVariable
,BooleanVariable
,IntSetVariable
Represents a single variable in a fixed-point iterative system.
-
Method Summary
Modifier and TypeMethodDescriptionvoid
Set this variable to have the same state as another oneint
Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.void
setOrderNumber
(int i) Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber
getGraphNodeId, setGraphNodeId
-
Method Details
-
getOrderNumber
int getOrderNumber()Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order. It might be cleaner to hold this on the side, but we cannot tolerate any extra space. TODO: consider moving this functionality to a subinterface?- Returns:
- a number used to order equation evaluation
-
setOrderNumber
void setOrderNumber(int i) Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order. It might be cleaner to hold this on the side, but we cannot tolerate any extra space. TODO: consider moving this functionality to a subinterface? -
copyState
Set this variable to have the same state as another one
-