Searched refs:pVarMin (Results 1 – 6 of 6) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilTruth.c | 775 int Extra_TruthMinCofSuppOverlap( unsigned * pTruth, int nVars, int * pVarMin ) in Extra_TruthMinCofSuppOverlap() argument
808 if ( pVarMin ) in Extra_TruthMinCofSuppOverlap()
809 *pVarMin = VarMin; in Extra_TruthMinCofSuppOverlap()
|
| H A D | extra.h | 390 extern int Extra_TruthMinCofSuppOverlap( unsigned * pTruth, int nVars, int * pVarMin );
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/ |
| H A D | kitTruth.c | 1096 int Kit_TruthMinCofSuppOverlap( unsigned * pTruth, int nVars, int * pVarMin ) in Kit_TruthMinCofSuppOverlap() argument
1129 if ( pVarMin ) in Kit_TruthMinCofSuppOverlap()
1130 *pVarMin = VarMin; in Kit_TruthMinCofSuppOverlap()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitTruth.c | 1315 int Kit_TruthMinCofSuppOverlap( unsigned * pTruth, int nVars, int * pVarMin ) in Kit_TruthMinCofSuppOverlap() argument
1348 if ( pVarMin ) in Kit_TruthMinCofSuppOverlap()
1349 *pVarMin = VarMin; in Kit_TruthMinCofSuppOverlap()
|
| H A D | kit.h | 636 extern int Kit_TruthMinCofSuppOverlap( unsigned * pTruth, int nVars, int * pVarMin );
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
| H A D | kit.h | 609 extern int Kit_TruthMinCofSuppOverlap( unsigned * pTruth, int nVars, int * pVarMin );
|