Searched defs:zC0 (Results 1 – 2 of 2) sorted by relevance
466 DdNode * zC0, * zC1, * zC2; in Abc_ConvertZddToSop_rec() local596 DdNode * zC0, * zC1, * zC2; in Abc_CountZddCubes_rec() local
1220 DdNode** zC0, /* the pointer to the negative var cofactor */ in extraDecomposeCover()1756 DdNode* zC0, /* the pointer to the negative var cofactor */ in extraComposeCover()