jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver.resolution.typeinference.bounds/ThrowsBound/isSatisfied

isSatisfied

open fun isSatisfied(inferenceVariableSubstitution: InferenceVariableSubstitution): Boolean(source)

A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.