diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-16 00:08:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-16 00:08:43 -0700 |
| commit | dd71ca94f1fe55c35852819a3e44030e607e9aae (patch) | |
| tree | 72e598f1d48f8ee061b0e8c66790632488e4839d /src/aig/llb/llb4Cluster.c | |
| parent | 813245b29af60137f5bb94dfa2831d2454c8a9b5 (diff) | |
| download | abc-dd71ca94f1fe55c35852819a3e44030e607e9aae.tar.gz abc-dd71ca94f1fe55c35852819a3e44030e607e9aae.tar.bz2 abc-dd71ca94f1fe55c35852819a3e44030e607e9aae.zip | |
Added cex generation for clustered reachability.
Diffstat (limited to 'src/aig/llb/llb4Cluster.c')
| -rw-r--r-- | src/aig/llb/llb4Cluster.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/llb/llb4Cluster.c b/src/aig/llb/llb4Cluster.c index 8697a01d..adb03873 100644 --- a/src/aig/llb/llb4Cluster.c +++ b/src/aig/llb/llb4Cluster.c @@ -402,7 +402,7 @@ void Llb_Nonlin4Cluster( Aig_Man_t * pAig, DdManager ** pdd, Vec_Int_t ** pvOrde // create the BDD manager vOrder = Llb_Nonlin4FindOrder( pAig, &nVarNum ); dd = Cudd_Init( nVarNum, 0, CUDD_UNIQUE_SLOTS, CUDD_CACHE_SLOTS, 0 ); -// Cudd_AutodynEnable( dd, CUDD_REORDER_SYMM_SIFT ); + Cudd_AutodynEnable( dd, CUDD_REORDER_SYMM_SIFT ); vVars2Q = Llb_Nonlin4FindVars2Q( dd, pAig, vOrder ); vParts = Llb_Nonlin4FindPartitions( dd, pAig, vOrder ); |