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

Go to the source code of this file.

Macros

#define ADD_UNCHECKED_EXTERNAL(...)
 
#define CHECK_AND_ADD_BINARY(...)
 
#define CHECK_AND_ADD_TERNARY(...)
 
#define CHECK_AND_ADD_CLAUSE(...)
 
#define CHECK_AND_ADD_EMPTY(...)
 
#define CHECK_AND_ADD_LITS(...)
 
#define CHECK_AND_ADD_STACK(...)
 
#define CHECK_AND_ADD_UNIT(...)
 
#define CHECK_SHRINK_CLAUSE(...)
 
#define REMOVE_CHECKER_BINARY(...)
 
#define REMOVE_CHECKER_TERNARY(...)
 
#define REMOVE_CHECKER_CLAUSE(...)
 
#define REMOVE_CHECKER_LITS(...)
 
#define REMOVE_CHECKER_STACK(...)
 

Macro Definition Documentation

◆ ADD_UNCHECKED_EXTERNAL

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

Definition at line 134 of file check.h.

134#define ADD_UNCHECKED_EXTERNAL(...) \
135 do { \
136 } while (0)

◆ CHECK_AND_ADD_BINARY

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

Definition at line 137 of file check.h.

137#define CHECK_AND_ADD_BINARY(...) \
138 do { \
139 } while (0)

◆ CHECK_AND_ADD_CLAUSE

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

Definition at line 143 of file check.h.

143#define CHECK_AND_ADD_CLAUSE(...) \
144 do { \
145 } while (0)

◆ CHECK_AND_ADD_EMPTY

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

Definition at line 146 of file check.h.

146#define CHECK_AND_ADD_EMPTY(...) \
147 do { \
148 } while (0)

◆ CHECK_AND_ADD_LITS

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

Definition at line 149 of file check.h.

149#define CHECK_AND_ADD_LITS(...) \
150 do { \
151 } while (0)

◆ CHECK_AND_ADD_STACK

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

Definition at line 152 of file check.h.

152#define CHECK_AND_ADD_STACK(...) \
153 do { \
154 } while (0)

◆ CHECK_AND_ADD_TERNARY

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

Definition at line 140 of file check.h.

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

◆ CHECK_AND_ADD_UNIT

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

Definition at line 155 of file check.h.

155#define CHECK_AND_ADD_UNIT(...) \
156 do { \
157 } while (0)

◆ CHECK_SHRINK_CLAUSE

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

Definition at line 158 of file check.h.

158#define CHECK_SHRINK_CLAUSE(...) \
159 do { \
160 } while (0)

◆ REMOVE_CHECKER_BINARY

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

Definition at line 161 of file check.h.

161#define REMOVE_CHECKER_BINARY(...) \
162 do { \
163 } while (0)

◆ REMOVE_CHECKER_CLAUSE

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

Definition at line 167 of file check.h.

167#define REMOVE_CHECKER_CLAUSE(...) \
168 do { \
169 } while (0)

◆ REMOVE_CHECKER_LITS

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

Definition at line 170 of file check.h.

170#define REMOVE_CHECKER_LITS(...) \
171 do { \
172 } while (0)

◆ REMOVE_CHECKER_STACK

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

Definition at line 173 of file check.h.

173#define REMOVE_CHECKER_STACK(...) \
174 do { \
175 } while (0)

◆ REMOVE_CHECKER_TERNARY

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

Definition at line 164 of file check.h.

164#define REMOVE_CHECKER_TERNARY(...) \
165 do { \
166 } while (0)