Searched refs:uninstantiatedVariables (Results 1 – 1 of 1) sorted by relevance
509 …nal<Set<InferenceVariable>> smallestSetWithProperty(Set<InferenceVariable> uninstantiatedVariables, in smallestSetWithProperty() argument511 for (int i=1;i<=uninstantiatedVariables.size();i++) { in smallestSetWithProperty()512 … for (Set<InferenceVariable> aSubSet : buildAllSubsetsOfSize(uninstantiatedVariables, i)){ in smallestSetWithProperty()