diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-15 00:06:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-15 00:06:54 -0700 |
| commit | 4635027478fc04b1e1f8bd0225c1e33b32ba9f93 (patch) | |
| tree | f72e8dc5d8a5c237e37be52d5e19317aca11a77c /src/aig/llb/llbInt.h | |
| parent | 75e60ab2ee65993595e3d56ae73bad23332b879c (diff) | |
| download | abc-4635027478fc04b1e1f8bd0225c1e33b32ba9f93.tar.gz abc-4635027478fc04b1e1f8bd0225c1e33b32ba9f93.tar.bz2 abc-4635027478fc04b1e1f8bd0225c1e33b32ba9f93.zip | |
Further improvements to reachability.
Diffstat (limited to 'src/aig/llb/llbInt.h')
| -rw-r--r-- | src/aig/llb/llbInt.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/llb/llbInt.h b/src/aig/llb/llbInt.h index 5d145831..d3fd2e49 100644 --- a/src/aig/llb/llbInt.h +++ b/src/aig/llb/llbInt.h @@ -182,6 +182,8 @@ extern DdNode * Llb_NonlinImage( Aig_Man_t * pAig, Vec_Ptr_t * vLeaves, V /*=== llb3Nonlin.c ======================================================*/ extern DdNode * Llb_NonlinComputeInitState( Aig_Man_t * pAig, DdManager * dd ); +/*=== llb4Cluster.c =======================================================*/ +extern void Llb_Nonlin4Cluster( Aig_Man_t * pAig, DdManager ** pdd, Vec_Int_t ** pvOrder, Vec_Ptr_t ** pvGroups, int nBddMax, int fVerbose ); /*=== 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 ); |