Home
last modified time | relevance | path

Searched refs:nVars1 (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilPrime.c400 int i, k, nVars1, nVars2; in Tab_ManCheckEqual() local
406 nVars1 = k; in Tab_ManCheckEqual()
411 if ( nVars1 != nVars2 ) in Tab_ManCheckEqual()
413 for ( i = 0; i < nVars1; i++ ) in Tab_ManCheckEqual()
H A DextraUtilTruth.c780 int nVars0, nVars1; in Extra_TruthMinCofSuppOverlap() local
796 nVars1 = Extra_WordCountOnes( uSupp1 ); in Extra_TruthMinCofSuppOverlap()
800 if ( ValueMin > ValueCur && nVars0 <= 5 && nVars1 <= 5 ) in Extra_TruthMinCofSuppOverlap()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/
H A DkitTruth.c1101 int nVars0, nVars1; in Kit_TruthMinCofSuppOverlap() local
1117 nVars1 = Kit_WordCountOnes( uSupp1 ); in Kit_TruthMinCofSuppOverlap()
1121 if ( ValueMin > ValueCur && nVars0 <= 5 && nVars1 <= 5 ) in Kit_TruthMinCofSuppOverlap()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/
H A DkitTruth.c1320 int nVars0, nVars1; in Kit_TruthMinCofSuppOverlap() local
1336 nVars1 = Kit_WordCountOnes( uSupp1 ); in Kit_TruthMinCofSuppOverlap()
1340 if ( ValueMin > ValueCur && nVars0 <= 5 && nVars1 <= 5 ) in Kit_TruthMinCofSuppOverlap()