Class OpDeclaration

java.lang.Object
es.ucm.maude.bindings.OpDeclaration
public class OpDeclaration extends Object
Syntactical operator declaration.

  • Constructor Details

    • OpDeclaration

      public OpDeclaration()

  • Method Details

    • delete

      public void delete()

    • getDomainAndRange

      public SortVector getDomainAndRange()
      Get domain and range sorts (range is last).

    • isConstructor

      public boolean isConstructor()
      Is the declared operator marked as a data constructor?