diff options
Diffstat (limited to 'src/aig/llb/llb.h')
| -rw-r--r-- | src/aig/llb/llb.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/llb/llb.h b/src/aig/llb/llb.h index 2c8d1c19..3cbd8136 100644 --- a/src/aig/llb/llb.h +++ b/src/aig/llb/llb.h @@ -31,7 +31,6 @@ //////////////////////////////////////////////////////////////////////// - ABC_NAMESPACE_HEADER_START @@ -50,11 +49,14 @@ struct Gia_ParLlb_t_ int fUseFlow; // use flow computation int nVolumeMax; // the largest volume int nVolumeMin; // the smallest volume + int nPartValue; // partitioning value + int fBackward; // enable backward reachability int fReorder; // enable dynamic variable reordering int fIndConstr; // extract inductive constraints int fUsePivots; // use internal pivot variables int fCluster; // use partition clustering int fSchedule; // use cluster scheduling + int fDumpReached; // dump reached states into a file int fVerbose; // print verbose information int fVeryVerbose; // print dependency matrices int fSilent; // do not print any infomation |