Searched defs:uOnDc1 (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
|
H A D | utilTruth.h | 2119 word uOn0, uOn1, uOnDc0, uOnDc1, uRes0, uRes1, uRes2; in Abc_Tt6Isop() local 2253 word uOn0, uOn1, uOnDc0, uOnDc1, uRes0, uRes1, uRes2; in Abc_Tt6IsopCover() local
|