ilang  1.0.2
ILAng: A Modeling and Verification Platform for SoCs
Classes | Namespaces | Typedefs
instr_lvl_abs.h File Reference
#include <map>
#include <memory>
#include <ostream>
#include <stack>
#include <string>
#include <ilang/ila/ast/func.h>
#include <ilang/ila/expr_fuse.h>
#include <ilang/ila/hash_ast.h>
#include <ilang/ila/instr.h>
#include <ilang/ila/object.h>
#include <ilang/ila/transition.h>
#include <ilang/util/container.h>

Go to the source code of this file.

Classes

class  ilang::InstrLvlAbs
 The class of Instruction-Level Abstraction (ILA). An ILA contains: More...
 

Namespaces

 ilang
 

Typedefs

typedef InstrLvlAbs::InstrLvlAbsPtr ilang::InstrLvlAbsPtr
 Pointer type for normal use of InstrLvlAbs.
 
typedef InstrLvlAbs::InstrLvlAbsCnstPtr ilang::InstrLvlAbsCnstPtr
 Pointer type for read-only usage of InstrLvlAbs.
 
typedef std::map< InstrLvlAbsCnstPtr, InstrLvlAbsPtr > ilang::CnstIlaMap
 Type for storing a mapping from constant ILA ptr to ILA ptr.
 

Detailed Description

The header for the class InstrLvlAbs.