Class Kind

Method Details

• delete

  public void delete()

• nrSorts

  public int nrSorts()

  Get the number of sorts in this kind.

• nrMaximalSorts

  public int nrMaximalSorts()

  Get the number of maximal sorts in this kind.

• sort

  public Sort sort(int index)

  Get the sort with a given index in this kind.
  
  

  Parameters:

  index - Sort index.

• errorFree

  public boolean errorFree()

  Whether the kind contains error terms.

• toString

  public String toString()

  Overrides:

  toString in class Object

• hash

  public long hash()

  Get the hash value of the kind.

• equal

  public boolean equal(Kind other)

  Check whether two kind are the same.