Searched refs:FuncR (Results 1 – 1 of 1) sorted by relevance
437 DdNode * FuncR; in extraCollectNodes() local438 FuncR = Cudd_Regular(Func); in extraCollectNodes()439 if ( st__find_or_add( tNodes, (char*)FuncR, NULL ) ) in extraCollectNodes()441 if ( cuddIsConstant(FuncR) ) in extraCollectNodes()443 extraCollectNodes( cuddE(FuncR), tNodes ); in extraCollectNodes()444 extraCollectNodes( cuddT(FuncR), tNodes ); in extraCollectNodes()