Searched defs:uOn0 (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
|