TrivialStrategy

java.lang.Object

es.ucm.maude.bindings.StrategyExpression

es.ucm.maude.bindings.TrivialStrategy

public class TrivialStrategy extends StrategyExpression

Trivial strategy (either idle or fail).

Method Summary

Modifier and Type

Method

Description

void

delete()

boolean

getResult()

Whether the strategy succeeds or not, i.e., whether it is idle.

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
- getResult
  
  public boolean getResult()
  
  Whether the strategy succeeds or not, i.e., whether it is idle.
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class StrategyExpression