Searched defs:pMan2 (Results 1 – 5 of 5) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraCec.c | 451 int Fra_FraigCecPartitioned( Aig_Man_t * pMan1, Aig_Man_t * pMan2, int nConfLimit, int nPartSize, i… in Fra_FraigCecPartitioned()
513 int Fra_FraigCecTop( Aig_Man_t * pMan1, Aig_Man_t * pMan2, int nConfLimit, int nPartSize, int fSmar… in Fra_FraigCecTop()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDar.c | 1923 Aig_Man_t * pMan, * pMan1, * pMan2; in Abc_NtkDarCec() local
3114 Aig_Man_t * pMan1, * pMan2 = NULL; in Abc_NtkDarAbSec() local
3179 Aig_Man_t * pMan1, * pMan2 = NULL; in Abc_NtkDarSimSec() local
3224 Aig_Man_t * pMan1, * pMan2 = NULL, * pManRes; in Abc_NtkDarMatch() local
4159 Aig_Man_t * pMan1, * pMan2, * pMan; in Abc_NtkDarSynch() local
4195 Aig_Man_t * pMan1, * pMan2 = NULL, * pMan; in Abc_NtkDarClockGate() local
4290 Aig_Man_t * pMan1, * pMan2 = NULL, * pMan; in Abc_NtkDarInsWin() local
|
| H A D | abcDress2.c | 294 Aig_Man_t * pMan1, * pMan2, * pMiter; in Abc_NtkDressComputeEquivs() local
|
| H A D | abcIvy.c | 508 Aig_Man_t * pMan2; in Abc_NtkIvyProve() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/mvc/ |
| H A D | mvc.h | 112 Extra_MmFixed_t * pMan2; // the manager for 2-word cubes member
|