Class ApplicationStrategy

java.lang.Object
es.ucm.maude.bindings.StrategyExpression
es.ucm.maude.bindings.ApplicationStrategy
public class ApplicationStrategy extends StrategyExpression
Rule application strategy

  • Method Details

    • delete

      public void delete()
      Overrides:
      delete in class StrategyExpression

    • getTop

      public boolean getTop()
      Whether the rule is applied only on top.

    • getLabel

      public String getLabel()
      Get the rule label (may be none).

    • getSubstitution

      public Substitution getSubstitution()
      Get the initial substitution

    • getStrategies

      public StratExprVector getStrategies()
      Strategies to control the rewriting conditions of the rule

    • toString

      public String toString()
      Overrides:
      toString in class StrategyExpression