Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet.VariableDependency
-
Packages that use BoundSet.VariableDependency Package Description com.github.javaparser.symbolsolver.resolution.typeinference -
-
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.VariableDependency Modifier and Type Method Description private java.util.Set<java.util.Set<InferenceVariable>>
BoundSet. allPossibleSetsWithProperty(java.util.Set<InferenceVariable> allElements, java.util.List<BoundSet.VariableDependency> dependencies)
private java.util.Set<java.util.Set<InferenceVariable>>
BoundSet. allSetsWithProperty(java.util.Set<InferenceVariable> allElements, java.util.List<BoundSet.VariableDependency> dependencies)
private boolean
BoundSet. hasProperty(java.util.Set<InferenceVariable> alphas, java.util.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 java.util.Optional<java.util.Set<InferenceVariable>>
BoundSet. smallestSetWithProperty(java.util.Set<InferenceVariable> uninstantiatedVariables, java.util.List<BoundSet.VariableDependency> dependencies)
there exists no non-empty proper subset of { α1, ..., αn } with this property.
-