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

Modifier and Type	Method and Description
void	copyState(T v) Set this variable to have the same state as another one
int	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