Searched refs:constraintFormulaSet (Results 1 – 1 of 1) sorted by relevance
360 ConstraintFormulaSet constraintFormulaSet = ConstraintFormulaSet.empty(); in functionalInterfaceParameterizationInference() local367 BoundSet B = constraintFormulaSet.reduce(typeSolver); in functionalInterfaceParameterizationInference()693 ConstraintFormulaSet constraintFormulaSet = ConstraintFormulaSet.empty(); in constraintSetFromArgumentsSubstitution() local698 constraintFormulaSet = constraintFormulaSet.withConstraint( in constraintSetFromArgumentsSubstitution()701 return constraintFormulaSet; in constraintSetFromArgumentsSubstitution()