dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
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...