Class Equation

Method Details

• delete

  public void delete()

  Overrides:

  delete in class ModuleItem

• getLhs

  public Term getLhs()

  Get the left-hand-side term.

• getRhs

  public Term getRhs()

  Get the right-hand-side term.

• getLabel

  public String getLabel()

  Get the label attribute.

• isNonexec

  public boolean isNonexec()

  Whether the equation has the nonexec attribute.

• isOwise

  public boolean isOwise()

  Whether the equation has the owise attribute.

• isVariant

  public boolean isVariant()

  Whether the equation has the variant attribute.

• hasCondition

  public boolean hasCondition()

  Whether the equation has a condition.

• getCondition

  public Condition getCondition()

  Get the condition of the equation.

• 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 equation.

• equal

  public boolean equal(Equation other)

  Check whether two equation are the same.