diff options
Diffstat (limited to 'src/temp/ivy/ivy.h')
| -rw-r--r-- | src/temp/ivy/ivy.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/temp/ivy/ivy.h b/src/temp/ivy/ivy.h index eb5f50e4..a8c8b289 100644 --- a/src/temp/ivy/ivy.h +++ b/src/temp/ivy/ivy.h @@ -136,6 +136,7 @@ struct Ivy_FraigParams_t_ double dActConeBumpMax; // the largest bump in activity int fProve; // prove the miter outputs int fVerbose; // verbose output + int fDoSparse; // skip sparse functions int nBTLimitNode; // conflict limit at a node int nBTLimitMiter; // conflict limit at an output int nBTLimitGlobal; // conflict limit global |