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.