dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
trace.h File Reference
#include <vector>
#include <cassert>
#include <cstdint>
+ Include dependency graph for trace.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  dejavu::ir::trace
 The trace invariant. More...
 

Namespaces

namespace  dejavu
 
namespace  dejavu::ir
 IR fundamentals.
 

Macros

#define TRACE_MARKER_INDIVIDUALIZE   (INT32_MAX-7)
 
#define TRACE_MARKER_REFINE_START   (INT32_MAX-2)
 
#define TRACE_MARKER_REFINE_END   (INT32_MAX-3)
 
#define TRACE_MARKER_REFINE_CELL_START   (INT32_MAX-4)
 
#define TRACE_MARKER_REFINE_CELL_END   (INT32_MAX-5)
 

Macro Definition Documentation

◆ TRACE_MARKER_INDIVIDUALIZE

#define TRACE_MARKER_INDIVIDUALIZE   (INT32_MAX-7)

Definition at line 14 of file trace.h.

◆ TRACE_MARKER_REFINE_CELL_END

#define TRACE_MARKER_REFINE_CELL_END   (INT32_MAX-5)

Definition at line 18 of file trace.h.

◆ TRACE_MARKER_REFINE_CELL_START

#define TRACE_MARKER_REFINE_CELL_START   (INT32_MAX-4)

Definition at line 17 of file trace.h.

◆ TRACE_MARKER_REFINE_END

#define TRACE_MARKER_REFINE_END   (INT32_MAX-3)

Definition at line 16 of file trace.h.

◆ TRACE_MARKER_REFINE_START

#define TRACE_MARKER_REFINE_START   (INT32_MAX-2)

Definition at line 15 of file trace.h.