Class ModuleItem

java.lang.Object
es.ucm.maude.bindings.ModuleItem
Direct Known Subclasses:
Equation, MembershipAxiom, RewriteStrategy, Rule, Sort, StrategyDefinition, Symbol
public class ModuleItem extends Object
An item that belongs to a module.

  • Method Details

    • delete

      public void delete()

    • getModule

      public Module getModule()
      Get the module where this item is defined.