Package Functions

com.google.security.zynamics.binnavi.API.reil.mono.ILattice< LatticeElement extends ILatticeElement< LatticeElement >, ObjectType > Interface Reference

List of all members.

Package Functions

LatticeElement combine (List< IInfluencingState< LatticeElement, ObjectType >> states)

Detailed Description

Interface that must be implemented by all classes that are used as lattices in the context of MonoREIL.

Parameters:
<LatticeElement> Type of the elements in the lattice.
<ObjectType> Type of the additional object of a state.

Member Function Documentation

LatticeElement com.google.security.zynamics.binnavi.API.reil.mono.ILattice< LatticeElement extends ILatticeElement< LatticeElement >, ObjectType >.combine ( List< IInfluencingState< LatticeElement, ObjectType >>  states  )  [package]

Combines a number of states to a single lattice state.

Parameters:
states The states to combine.
Returns:
The combined state.