Searched defs:ddTemp (Results 1 – 1 of 1) sorted by relevance
121 DdManager * dd, * ddTemp = NULL; in Abc_NtkSopToBdd() local646 DdManager * dd, * ddTemp = NULL; in Abc_NtkAigToBdd() local