Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet.VariableDependency
Packages that use BoundSet.VariableDependency
-
Uses of BoundSet.VariableDependency in com.github.javaparser.symbolsolver.resolution.typeinference
Method parameters in com.github.javaparser.symbolsolver.resolution.typeinference with type arguments of type BoundSet.VariableDependencyModifier and TypeMethodDescriptionprivate Set
<Set<InferenceVariable>> BoundSet.allPossibleSetsWithProperty
(Set<InferenceVariable> allElements, List<BoundSet.VariableDependency> dependencies) private Set
<Set<InferenceVariable>> BoundSet.allSetsWithProperty
(Set<InferenceVariable> allElements, List<BoundSet.VariableDependency> dependencies) private boolean
BoundSet.hasProperty
(Set<InferenceVariable> alphas, List<BoundSet.VariableDependency> dependencies) if αi depends on the resolution of a variable β, then either β has an instantiation or there is some j such that β = αjprivate Optional
<Set<InferenceVariable>> BoundSet.smallestSetWithProperty
(Set<InferenceVariable> uninstantiatedVariables, List<BoundSet.VariableDependency> dependencies) there exists no non-empty proper subset of { α1, ..., αn } with this property.