SortTestCondition

java.lang.Object

es.ucm.maude.bindings.ConditionFragment

es.ucm.maude.bindings.SortTestCondition

public class SortTestCondition extends ConditionFragment

A sort test t : s condition.

Constructor Summary

Constructors

Constructor

Description

SortTestCondition(Term lhs, Sort rhs)
Method Summary

Modifier and Type

Method

Description

void

delete()

Term

getLhs()

Get the term of the sort test.

Sort

getSort()

Get the sort of the sort test.

String

toString()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details
- SortTestCondition
  
  public SortTestCondition(Term lhs, Sort rhs)
Method Details
- delete
  
  public void delete()
  
  Overrides:
  
  delete in class ConditionFragment
- getLhs
  
  public Term getLhs()
  
  Get the term of the sort test.
- getSort
  
  public Sort getSort()
  
  Get the sort of the sort test.
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class ConditionFragment