Class ConditionalStrategy

java.lang.Object
es.ucm.maude.bindings.StrategyExpression
es.ucm.maude.bindings.ConditionalStrategy
public class ConditionalStrategy extends StrategyExpression
Conditional strategy (and other related strategy constructs that are reduced to it).

Except for the full conditional strategy and for the or-else, the success and failure
strategies are empty. For the or-else, the success strategy is empty too.

  • Method Details

    • delete

      public void delete()
      Overrides:
      delete in class StrategyExpression

    • getInitialStrategy

      public StrategyExpression getInitialStrategy()
      Get the strategy expression for the condition

    • getSuccessStrategy

      public StrategyExpression getSuccessStrategy()
      Get the strategy expression for the success branch

    • getFailureStrategy

      public StrategyExpression getFailureStrategy()
      Get the strategy expression for the failure branch

    • getType

      public ConditionalStratType getType()
      Get the type of conditional strategy.