Predator  [unstable] git snapshot
Data Structures | Namespaces | Typedefs
fixed_point_proxy.hh File Reference
#include "symstate.hh"
#include <map>

Go to the source code of this file.

Data Structures

class  StateByInsn

Namespaces

namespace  CodeStorage
 object model that describes the analyzed code on the input
namespace  FixedPoint

Typedefs

typedef const CodeStorage::InsnTInsn