Class NarrowingFlags

java.lang.Object
es.ucm.maude.bindings.NarrowingFlags
public final class NarrowingFlags extends Object
NarrowingFlags

  • Field Details

    • FOLD

      public static final NarrowingFlags FOLD
      Whether to activate folding (fold option or fvu-narrow command).

    • VFOLD

      public static final NarrowingFlags VFOLD
      Whether to activate variant folding (vfold option).

    • PATH

      public static final NarrowingFlags PATH
      Whether to allow for narrowing trace reconstruction (expensive).

    • DELAY

      public static final NarrowingFlags DELAY
      Whether variant unifiers are filtered before using the first one for narrowing (delay option in the command).

    • FILTER

      public static final NarrowingFlags FILTER
      Whether to activate filtered variant unification (filter option in the command).

  • Method Details

    • swigValue

      public final int swigValue()

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • swigToEnum

      public static NarrowingFlags swigToEnum(int swigValue)