Searched defs:Sign0 (Results 1 – 2 of 2) sorted by relevance
185 word Sign, Sign0, Sign1; in Aig_ManPackSimulate() local
1132 word Sign0[JF_CUT_MAX+2]; // signatures of the first cut in Jf_ObjComputeCuts() local