OneStrategy

java.lang.Object

es.ucm.maude.bindings.StrategyExpression

es.ucm.maude.bindings.OneStrategy

public class OneStrategy extends StrategyExpression

Strategy one.

Method Summary

Modifier and Type

Method

Description

void

delete()

StrategyExpression

getStrategy()

Get the strategy for which only one solution is required

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 strategy for which only one solution is required
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class StrategyExpression