diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-14 09:57:35 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-14 09:57:35 -0700 |
| commit | 75e60ab2ee65993595e3d56ae73bad23332b879c (patch) | |
| tree | 5df3c3ee116c7285ccff8d0c6f535f862fff65c0 /src/aig/llb/llbInt.h | |
| parent | c0c9fc84f13d54b24b6f6e1d4895889d85ec8e65 (diff) | |
| download | abc-75e60ab2ee65993595e3d56ae73bad23332b879c.tar.gz abc-75e60ab2ee65993595e3d56ae73bad23332b879c.tar.bz2 abc-75e60ab2ee65993595e3d56ae73bad23332b879c.zip | |
Experiments with reachability.
Diffstat (limited to 'src/aig/llb/llbInt.h')
| -rw-r--r-- | src/aig/llb/llbInt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/llb/llbInt.h b/src/aig/llb/llbInt.h index 357ddb5c..5d145831 100644 --- a/src/aig/llb/llbInt.h +++ b/src/aig/llb/llbInt.h @@ -184,6 +184,7 @@ extern DdNode * Llb_NonlinComputeInitState( Aig_Man_t * pAig, DdManager * /*=== llb4Image.c =======================================================*/ extern DdNode * Llb_Nonlin4Image( DdManager * dd, Vec_Ptr_t * vParts, DdNode * bCurrent, Vec_Int_t * vVars2Q ); +extern Vec_Ptr_t * Llb_Nonlin4Group( DdManager * dd, Vec_Ptr_t * vParts, Vec_Int_t * vVars2Q, int nSizeMax ); /*=== llb4Map.c =========================================================*/ //extern Vec_Int_t * Llb_AigMap( Aig_Man_t * pAig, int nLutSize, int nLutMin ); /*=== llb4Nonlin.c ======================================================*/ |