Class SearchType

java.lang.Object
es.ucm.maude.bindings.SearchType
public final class SearchType extends Object
Search types (number of steps).

  • Field Details

    • ONE_STEP

      public static final SearchType ONE_STEP
      ->1

    • AT_LEAST_ONE_STEP

      public static final SearchType AT_LEAST_ONE_STEP
      ->+

    • ANY_STEPS

      public static final SearchType ANY_STEPS
      ->*

    • NORMAL_FORM

      public static final SearchType NORMAL_FORM
      ->!

    • BRANCH

      public static final SearchType BRANCH
      ->#

  • Method Details

    • swigValue

      public final int swigValue()

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • swigToEnum

      public static SearchType swigToEnum(int swigValue)