Searched defs:pMintsP (Results 1 – 3 of 3) sorted by relevance
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/ |
| H A D | darPrec.c | 198 void Dar_TruthPermute_int( int * pMints, int nMints, char * pPerm, int nVars, int * pMintsP ) in Dar_TruthPermute_int()
225 int * pMintsP; in Dar_TruthPermute() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
| H A D | darPrec.c | 183 void Dar_TruthPermute_int( int * pMints, int nMints, char * pPerm, int nVars, int * pMintsP ) in Dar_TruthPermute_int()
210 int * pMintsP; in Dar_TruthPermute() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilMisc.c | 330 void Extra_TruthPermute_int( int * pMints, int nMints, char * pPerm, int nVars, int * pMintsP ) in Extra_TruthPermute_int()
357 int * pMintsP; in Extra_TruthPermute() local
|