Searched defs:nBddMax (Results 1 – 6 of 6) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcReach.c | 141 …_Ntk_t * pNtk, DdNode ** pbParts, DdNode * bInitial, DdNode * bOutput, int nBddMax, int nIterMax, … in Abc_NtkComputeReachable()
261 void Abc_NtkVerifyUsingBdds( Abc_Ntk_t * pNtk, int nBddMax, int nIterMax, int fPartition, int fReor… in Abc_NtkVerifyUsingBdds()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
| H A D | llb.h | 44 int nBddMax; // maximum BDD size member
|
| H A D | llb4Cluster.c | 390 … * pAig, DdManager ** pdd, Vec_Int_t ** pvOrder, Vec_Ptr_t ** pvGroups, int nBddMax, int fVerbose ) in Llb_Nonlin4Cluster()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/bbr/ |
| H A D | bbrImage.c | 55 int nBddMax; // the number of node to stop member
171 …int nVars, DdNode ** pbVars, int nBddMax, int fVerbose ) // the NS and parameter variables (not … in Bbr_bddImageStart()
723 int nVars, Bbr_ImageVar_t ** pVars, int * pfStop, int nBddMax ) in Bbr_BuildTreeNode()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saig.h | 57 int nBddMax; member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fra.h | 123 int nBddMax; // the max number of BDD nodes member
|