Searched defs:uOn1 (Results 1 – 4 of 4) sorted by relevance
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/ |
| H A D | kitIsop.c | 260 unsigned uOn0, uOn1, uOnDc0, uOnDc1, uRes0, uRes1, uRes2; in Kit_TruthIsop5_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitIsop.c | 347 unsigned uOn0, uOn1, uOnDc0, uOnDc1, uRes0, uRes1, uRes2; in Kit_TruthIsop5_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
| H A D | utilIsop.c | 110 word uOn0, uOn1, uOnDc0, uOnDc1, uRes0, uRes1, uRes2; in Abc_Isop6Cover() local
151 word uOn0, uOn1, uOn2, uOnDc2, uRes0, uRes1, uRes2; in Abc_Isop7Cover() local
|
| H A D | utilTruth.h | 2119 word uOn0, uOn1, uOnDc0, uOnDc1, uRes0, uRes1, uRes2; in Abc_Tt6Isop() local
2185 word uOn0[2], uOn1[2], uOn2[2], uOnDc2[2], uRes0[2], uRes1[2], uRes2[2]; in Abc_Tt8Isop() local
2253 word uOn0, uOn1, uOnDc0, uOnDc1, uRes0, uRes1, uRes2; in Abc_Tt6IsopCover() local
2331 word uOn0[2], uOn1[2], uOn2[2], uOnDc2[2], uRes0[2], uRes1[2], uRes2[2]; in Abc_Tt8IsopCover() local
|