Searched defs:pPermute (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/dsd/ |
H A D | dsdLocal.c | 58 int i, iVar, iLev, * pPermute; in Dsd_TreeGetPrimeFunction() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcUnreach.c | 294 int * pPermute; in Abc_NtkConstructExdc() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/ |
H A D | extraBddMisc.c | 115 int * pPermute; in Extra_TransferLevelByLevel() local 149 int * pPermute; in Extra_bddRemapUp() local 1090 …* Extra_bddAndPermute( DdManager * ddF, DdNode * bF, DdManager * ddG, DdNode * bG, int * pPermute ) in Extra_bddAndPermute() 2159 …( DdHashTable * table, DdManager * ddF, DdNode * bF, DdManager * ddG, DdNode * bG, int * pPermute ) in extraBddAndPermute()
|
H A D | extraBddAuto.c | 156 int * pPermute; in Extra_bddSpaceFromFunctionFast() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
H A D | hopDfs.c | 563 Hop_Obj_t * Hop_Permute( Hop_Man_t * p, Hop_Obj_t * pRoot, int nRootVars, int * pPermute ) in Hop_Permute()
|