EqualityCondition

java.lang.Object

es.ucm.maude.bindings.ConditionFragment

es.ucm.maude.bindings.EqualityCondition

public class EqualityCondition extends ConditionFragment

An equality t = t' condition.

Constructor Summary

Constructors

Constructor

Description

EqualityCondition(Term lhs, Term rhs)
Method Summary

Modifier and Type

Method

Description

void

delete()

Term

getLhs()

Get the left-hand-side term.

Term

getRhs()

Get the right-hand-side term.

String

toString()

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

Constructor Details
- EqualityCondition
  
  public EqualityCondition(Term lhs, Term rhs)
Method Details
- delete
  
  public void delete()
  
  Overrides:
  
  delete in class ConditionFragment
- getLhs
  
  public Term getLhs()
  
  Get the left-hand-side term.
- getRhs
  
  public Term getRhs()
  
  Get the right-hand-side term.
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class ConditionFragment