Searched refs:Bbr_FindBestVariable (Results 1 – 1 of 1) sorted by relevance
126 static int Bbr_FindBestVariable( DdManager * dd,733 iVarBest = Bbr_FindBestVariable( dd, nNodes, pNodes, nVars, pVars ); in Bbr_BuildTreeNode()953 int Bbr_FindBestVariable( DdManager * dd, in Bbr_FindBestVariable() function