UnionStrategy

java.lang.Object

es.ucm.maude.bindings.StrategyExpression

es.ucm.maude.bindings.UnionStrategy

public class UnionStrategy extends StrategyExpression

Union or disjunction of several strategies.

Method Summary

Modifier and Type

Method

Description

void

delete()

StratExprVector

getStrategies()

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