Class FalseBound


  • public class FalseBound
    extends Bound
    No valid choice of inference variables exists.
    • Constructor Detail

      • FalseBound

        private FalseBound()
    • Method Detail

      • getInstance

        public static FalseBound getInstance()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • isSatisfied

        public boolean isSatisfied​(InferenceVariableSubstitution inferenceVariableSubstitution)
        Description copied from class: Bound
        A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.
        Specified by:
        isSatisfied in class Bound