Package com.ibm.wala.fixpoint
Interface IVariable<T extends IVariable<T>>
-
- All Superinterfaces:
INodeWithNumber
- All Known Implementing Classes:
AbstractVariable
,BitVectorVariable
,BooleanVariable
,IntSetVariable
public interface IVariable<T extends IVariable<T>> extends INodeWithNumber
Represents a single variable in a fixed-point iterative system.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
copyState(T v)
Set this variable to have the same state as another oneint
getOrderNumber()
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 Detail
-
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
void copyState(T v)
Set this variable to have the same state as another one
-
-