Class MembershipAxiom

Method Details

• delete

  public void delete()

  Overrides:

  delete in class ModuleItem

• getLhs

  public Term getLhs()

  Get the term of the membership axiom.

• getSort

  public Sort getSort()

  Get the sort of the membership axiom.

• getCondition

  public Condition getCondition()

  Get the condition of the membership axiom.

• isNonexec

  public boolean isNonexec()

  Whether the membership axiom has the nonexec attribute.

• getLabel

  public String getLabel()

  Get the label attribute.

• 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 membership axiom.

• equal

  public boolean equal(MembershipAxiom other)

  Check whether two membership axiom are the same.