ConcatenationStrategy

java.lang.Object

es.ucm.maude.bindings.StrategyExpression

es.ucm.maude.bindings.ConcatenationStrategy

public class ConcatenationStrategy extends StrategyExpression

Concatenation, i.e. sequential execution, of several strategies.

Method Summary

Modifier and Type

Method

Description

void

delete()

StratExprVector

getStrategies()

Get the sequence of strategies

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
- getStrategies
  
  public StratExprVector getStrategies()
  
  Get the sequence of strategies
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class StrategyExpression