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