Package Functions

# BinNavi.API.reil.mono.ILattice< LatticeElement extends ILatticeElement< LatticeElement >, ObjectType > Interface Reference

Interface for MonoREIL lattices. More...

List of all members.

## Package Functions
LatticeElement | combine (List< IInfluencingState< LatticeElement, ObjectType >> states)
| Combines 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 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.