Package com.intellij.psi.impl.source.resolve.graphInference.constraints

Interface ConstraintFormula

All Known Implementing Classes:

CheckedExceptionCompatibilityConstraint, ExpressionCompatibilityConstraint, InputOutputConstraintFormula, LambdaExpressionCompatibilityConstraint, PsiMethodReferenceCompatibilityConstraint, StrictSubtypingConstraint, SubtypingConstraint, TypeCompatibilityConstraint, TypeEqualityConstraint

public interface ConstraintFormula

Method Summary

Modifier and Type	Method and Description
void	apply(PsiSubstitutor substitutor, boolean cache)
boolean	reduce(InferenceSession session, java.util.List<? super ConstraintFormula> constraints)

Method Detail

reduce

boolean reduce(InferenceSession session,
               java.util.List<? super ConstraintFormula> constraints)

apply

void apply(PsiSubstitutor substitutor,
           boolean cache)