Class SymbolAttribute

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

  • Field Details

  • Method Details

    • swigValue

      public final int swigValue()

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • swigToEnum

      public static SymbolAttribute swigToEnum(int swigValue)