Searched refs:VarsK (Results 1 – 1 of 1) sorted by relevance
2708 DdNode *VarSet = VarsN, *VarsK = VarsN; in Extra_bddTuples() local2730 VarsK = cuddT( VarsK ); in Extra_bddTuples()2733 res = extraBddTuples(dd, VarsK, VarsN ); in Extra_bddTuples()