ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
profile.h File Reference
#include "stack.h"
#include "global.h"
Include dependency graph for profile.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define START(...)
 
#define STOP(...)
 
#define STOP_SEARCH_AND_START_SIMPLIFIER(...)
 
#define STOP_SIMPLIFIER_AND_RESUME_SEARCH(...)
 
#define STOP_AND_START(...)
 

Macro Definition Documentation

◆ START

#define START ( ...)
Value:
do { \
} while (0)

Definition at line 126 of file profile.h.

126#define START(...) \
127 do { \
128 } while (0)

◆ STOP

#define STOP ( ...)
Value:
do { \
} while (0)

Definition at line 129 of file profile.h.

129#define STOP(...) \
130 do { \
131 } while (0)

◆ STOP_AND_START

#define STOP_AND_START ( ...)
Value:
do { \
} while (0)

Definition at line 140 of file profile.h.

140#define STOP_AND_START(...) \
141 do { \
142 } while (0)

◆ STOP_SEARCH_AND_START_SIMPLIFIER

#define STOP_SEARCH_AND_START_SIMPLIFIER ( ...)
Value:
do { \
} while (0)

Definition at line 133 of file profile.h.

133#define STOP_SEARCH_AND_START_SIMPLIFIER(...) \
134 do { \
135 } while (0)

◆ STOP_SIMPLIFIER_AND_RESUME_SEARCH

#define STOP_SIMPLIFIER_AND_RESUME_SEARCH ( ...)
Value:
do { \
} while (0)

Definition at line 136 of file profile.h.

136#define STOP_SIMPLIFIER_AND_RESUME_SEARCH(...) \
137 do { \
138 } while (0)