Searched defs:suggestPluginVariable (Results 1 – 2 of 2) sorted by relevance
689 int GroebnerStrategy::suggestPluginVariable() { in suggestPluginVariable() function in GroebnerStrategy