Interface FSIntConstraint

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      void eq​(int i)
      Require int value to be equal i.
      void geq​(int i)
      Require int value to be greater than or equal to i.
      void gt​(int i)
      Require int value to be greater than i.
      void leq​(int i)
      Require int value to be less than or equal to i.
      void lt​(int i)
      Require int value to be less than i.
      boolean match​(int i)
      Check if integer matches defined constraints.
    • Method Detail

      • eq

        void eq​(int i)
        Require int value to be equal i.
        Parameters:
        i - Matched value must be equal to this.
      • lt

        void lt​(int i)
        Require int value to be less than i.
        Parameters:
        i - Matched value must be less than this.
      • leq

        void leq​(int i)
        Require int value to be less than or equal to i.
        Parameters:
        i - Matched value must be less than or equal to this.
      • gt

        void gt​(int i)
        Require int value to be greater than i.
        Parameters:
        i - Matched value must be greater than this.
      • geq

        void geq​(int i)
        Require int value to be greater than or equal to i.
        Parameters:
        i - Matched value must be greater than or equal to this.
      • match

        boolean match​(int i)
        Check if integer matches defined constraints.
        Parameters:
        i - The int to be checked.
        Returns:
        true iff the int satisfies the constraints.