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 β = αj
private 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.