Predator  [unstable] git snapshot
Public Types | Public Member Functions | Private Attributes
StateByInsn Class Reference

#include <fixed_point_proxy.hh>

Public Types

typedef std::map< TInsn,
SymStateWithJoin
TStateMap

Public Member Functions

 StateByInsn ()
 ~StateByInsn ()
bool insert (TInsn insn, const SymHeap &sh)
const TStateMapstateMap () const
void plotAll ()

Private Attributes

Private * d

Detailed Description

Definition at line 35 of file fixed_point_proxy.hh.

Member Typedef Documentation

typedef std::map<TInsn, SymStateWithJoin> TStateMap

Definition at line 37 of file fixed_point_proxy.hh.

Constructor & Destructor Documentation

Member Function Documentation

bool insert ( TInsn  insn,
const SymHeap sh 
)
void plotAll ( )
const TStateMap& stateMap ( ) const

Field Documentation

Private* d
private

Definition at line 49 of file fixed_point_proxy.hh.


The documentation for this class was generated from the following file: