From 75e60ab2ee65993595e3d56ae73bad23332b879c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 14 Apr 2011 09:57:35 -0700 Subject: Experiments with reachability. --- src/aig/llb/llbInt.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig/llb/llbInt.h') 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 ======================================================*/ -- cgit v1.2.3