ir.h File Reference

#include <unordered_map>
#include "refinement.h"
#include "coloring.h"
#include "graph.h"
#include "trace.h"
#include "groups.h"

Include dependency graph for ir.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	dejavu::ir::limited_save
	Reduced IR save state. More...
struct	dejavu::ir::base_info
	Tracks information for a base point. More...
struct	dejavu::ir::controller
	Controls movement in IR tree. More...
class	dejavu::ir::cell_selector_factory
	Creates cell selectors. More...
class	dejavu::ir::deviation_map
	Store deviations for a BFS level. More...
class	dejavu::ir::stored_leaf
	IR leaf. More...
class	dejavu::ir::shared_leaves
	Collection of leaves. More...
class	dejavu::ir::tree_node
	A node of an IR tree. More...
class	dejavu::ir::shared_tree
	IR tree structure. More...

Namespaces
namespace	dejavu
namespace	dejavu::ir
	IR fundamentals.

Typedefs
typedef int	dejavu::ir::type_selector_hook(const coloring *, const int)
typedef std::pair< ir::tree_node *, int >	dejavu::ir::missing_node

Enumerations
enum	dejavu::ir::ir_mode { dejavu::ir::IR_MODE_RECORD_TRACE , dejavu::ir::IR_MODE_COMPARE_TRACE_REVERSIBLE , dejavu::ir::IR_MODE_COMPARE_TRACE_IRREVERSIBLE }
	Mode of trace for IR search. More...