Class RewriteStrategy

Method Details

• delete

  public void delete()

  Overrides:

  delete in class ModuleItem

• getDomain

  public SortVector getDomain()

  Get the argument domain.

• getSubjectSort

  public Sort getSubjectSort()

  Get the sort to which the strategy is intended to be applied.

• getDefinitions

  public StratDefVector getDefinitions()

  Get the definitions for this strategy.

• arity

  public int arity()

  Get the number of arguments of the strategy.

• getName

  public String getName()

• toString

  public String toString()

  Overrides:

  toString in class Object

• getMetadata

  public String getMetadata()

  Get the free text metadata attribute of this statement.

• getLineNumber

  public String getLineNumber()

  Get the line number information for this item as formatted by Maude.
  
  The format of the string is usually filename, line line (module)
  where the second line is the integral line number, and module is
  the module type and name where this item was originally defined. The
  filename may be an actual quoted filename or some special name
  between angle brackets.

• hash

  public long hash()

  Get the hash value of the strategy.

• equal

  public boolean equal(RewriteStrategy other)

  Check whether two strategy are the same.