Predator
[unstable] git snapshot
|
#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 TStateMap & | stateMap () const |
void | plotAll () |
Private Attributes | |
Private * | d |
Definition at line 35 of file fixed_point_proxy.hh.
typedef std::map<TInsn, SymStateWithJoin> TStateMap |
Definition at line 37 of file fixed_point_proxy.hh.
StateByInsn | ( | ) |
~StateByInsn | ( | ) |
void plotAll | ( | ) |
const TStateMap& stateMap | ( | ) | const |
|
private |
Definition at line 49 of file fixed_point_proxy.hh.