cprover
aig_prop.cpp File Reference
#include "aig_prop.h"
#include <set>
#include <stack>
Include dependency graph for aig_prop.cpp:

Go to the source code of this file.

Macros

#define USE_AIG_COMPACT
 
#define USE_PG
 

Macro Definition Documentation

◆ USE_AIG_COMPACT

#define USE_AIG_COMPACT

Definition at line 16 of file aig_prop.cpp.

◆ USE_PG

#define USE_PG

Definition at line 20 of file aig_prop.cpp.