ChoiceStrategy

java.lang.Object

es.ucm.maude.bindings.StrategyExpression

es.ucm.maude.bindings.ChoiceStrategy

public class ChoiceStrategy extends StrategyExpression

Quantified choice strategy

Method Summary

Modifier and Type

Method

Description

void

delete()

StratExprVector

getStrategies()

Get the alternative strategies

TermVector

getWeights()

Get the weights associated to each strategy

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
- getWeights
  
  public TermVector getWeights()
  
  Get the weights associated to each strategy
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class StrategyExpression