IterationStrategy

java.lang.Object

es.ucm.maude.bindings.StrategyExpression

es.ucm.maude.bindings.IterationStrategy

public class IterationStrategy extends StrategyExpression

Iteration strategy.

Method Summary

Modifier and Type

Method

Description

void

delete()

StrategyExpression

getStrategy()

Get the iteration body.

boolean

getZeroAllowed()

Get whether iterating zero times is allowed

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 StrategyExpression getStrategy()
  
  Get the iteration body.
- getZeroAllowed
  
  public boolean getZeroAllowed()
  
  Get whether iterating zero times is allowed
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class StrategyExpression