Class SubtermStrategy

java.lang.Object
es.ucm.maude.bindings.StrategyExpression
es.ucm.maude.bindings.SubtermStrategy
Direct Known Subclasses:
WeightedSubtermStrategy
public class SubtermStrategy extends StrategyExpression
Strategy for rewriting of subterms.

  • Method Details

    • delete

      public void delete()
      Overrides:
      delete in class StrategyExpression

    • getStrategies

      public StratExprVector getStrategies()
      Get the strategies to be applied on each matched subterm

    • getSubterms

      public TermVector getSubterms()
      Get the variables that match the subterms to be written

    • getDepth

      public int getDepth()
      Get the matching depth limit.

    • getCondition

      public Condition getCondition()
      Get the condition of the test.

    • getPattern

      public Term getPattern()
      Matching pattern of the test.

    • toString

      public String toString()
      Overrides:
      toString in class StrategyExpression