Default state vector that can be used in MonoREIL. More...

Inheritance diagram for BinNavi.API.reil.mono.DefaultStateVector< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > >:

Public Member Functions
boolean	hasState (GraphNode node)
	Checks if the state vector knows the state of a node.
void	setState (GraphNode node, LatticeElement element)
	Updates the state of a graph node.
final int	size ()
	Number of entries in the state vector.
String	toString ()
	Printable representation of the state vector.
Package Functions
LatticeElement	getState (GraphNode node)
	Returns the state of a given node.

Detailed Description

Used to keep track of the currently known program state during a run of the monotone framework.

Parameters:

	<GraphNode>	Type of the nodes in the walked graph.
	<LatticeElement>	Type of the elements in the lattice.

Member Function Documentation

LatticeElement BinNavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >.getState ( GraphNode node ) [package, inherited]

Returns the state of a given node.

Parameters:

node

The node for which the state is returned.

boolean BinNavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >.hasState ( GraphNode node ) [inherited]

Checks whether the state vector knows the current state of a given node or not.

Parameters:

node

The node to check.

void BinNavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >.setState	(	GraphNode	node,
		LatticeElement	element
	)			`[inherited]`

Updates the state of a graph node.

Parameters:

	node	The graph node whose state is updated.
	element	The new state of the graph node.

final int BinNavi.API.reil.mono.DefaultStateVector< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > >.size ( )

Returns the number of entries in the state vector.

String BinNavi.API.reil.mono.DefaultStateVector< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > >.toString ( )

Returns a string representation of the state vector.