RewriteCondition

java.lang.Object

es.ucm.maude.bindings.ConditionFragment

es.ucm.maude.bindings.RewriteCondition

public class RewriteCondition extends ConditionFragment

A rewrite t => t' condition.

Constructor Summary

Constructors

Constructor

Description

RewriteCondition(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 java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details
- RewriteCondition
  
  public RewriteCondition(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