CallStrategy

java.lang.Object

es.ucm.maude.bindings.StrategyExpression

es.ucm.maude.bindings.CallStrategy

public class CallStrategy extends StrategyExpression

Strategy call expression.

Method Summary

Modifier and Type

Method

Description

void

delete()

RewriteStrategy

getStrategy()

Term

getTerm()

Get the strategy call arguments as a fake term.

String

toString()

Methods inherited from class StrategyExpression
equal, toLatex

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

Method Details
- delete
  
  public void delete()
  
  Overrides:
  
  delete in class StrategyExpression
- getStrategy
  
  public RewriteStrategy getStrategy()
- getTerm
  
  public Term getTerm()
  
  Get the strategy call arguments as a fake term.
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class StrategyExpression