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/ast_hub.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

Class InstrLvlAbs - the class to represent an ILA model.