Skip to content

Commit bea3e1f

Browse files
hazhaz
committed
Updated the smoothing to work efficiently for DAGs (and not just trees).
1 parent 3456b0b commit bea3e1f

9 files changed

Lines changed: 258 additions & 299 deletions

File tree

‎src/src_sharpSAT/Basics.cpp‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,8 @@ bool CSolverConf::allowPreProcessing = true;
1111

1212
bool CSolverConf::quietMode = false;
1313

14+
bool CSolverConf::smoothNNF = false;
15+
1416
unsigned int CSolverConf::secsTimeBound = 100000;
1517

1618
unsigned int CSolverConf::maxCacheSize = 0;

‎src/src_sharpSAT/Basics.h‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,8 @@ class CSolverConf
2828
static unsigned int maxCacheSize; // maximum Cache Size in bytes
2929

3030
static int nodeCount; // Nodes currently in use
31+
32+
static bool smoothNNF;
3133

3234
CSolverConf();
3335

‎src/src_sharpSAT/Basics.h.bdg‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,9 @@ public:
2828
static unsigned int maxCacheSize; // maximum Cache Size in bytes
2929

3030
static int nodeCount; // Nodes currently in use
31-
31+
32+
static bool smoothNNF;
33+
3234
CSolverConf();
3335

3436
~CSolverConf();

‎src/src_sharpSAT/Basics.h.ddnnf‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,8 @@ public:
2828
static unsigned int maxCacheSize; // maximum Cache Size in bytes
2929

3030
static int nodeCount; // Nodes currently in use
31+
32+
static bool smoothNNF;
3133

3234
CSolverConf();
3335

0 commit comments

Comments
 (0)