Class ConcatenationStrategy
java.lang.Object
es.ucm.maude.bindings.StrategyExpression
es.ucm.maude.bindings.ConcatenationStrategy
Concatenation, i.e. sequential execution, of several strategies.
-
Method Summary
Methods inherited from class StrategyExpression
equal, toLatex
-
Method Details
-
delete
public void delete()- Overrides:
deletein classStrategyExpression
-
getStrategies
Get the sequence of strategies -
toString
- Overrides:
toStringin classStrategyExpression
-