Package Functions
LatticeElement	transform (GraphNode node, LatticeElement currentState, LatticeElement inputState)

Detailed Description

Must be implemented by objects that want to transform lattice elements.

Parameters:

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

Member Function Documentation

LatticeElement com.google.security.zynamics.binnavi.API.reil.mono.ITransformationProvider< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > >.transform	(	GraphNode	node,
		LatticeElement	currentState,
		LatticeElement	inputState
	)			`[package]`

Transforms a lattice element into a new element.

Parameters:

	node	The node that controls the transformation.
	currentState	The current state of the node.
	inputState	The combined state of the influencing nodes.