Class StrategyGraphTransition

java.lang.Object
es.ucm.maude.bindings.StrategyGraphTransition
public class StrategyGraphTransition extends Object
Structure describing a transition in the graph.

  • Method Details

    • delete

      public void delete()

    • getType

      public StrategyRewriteGraph.TransitionType getType()
      Get the transition type (rule application, opaque strategy,
      or solution).

    • getRule

      public Rule getRule()
      Get the rule applied, in case the transition is a rule application.

      Returns:
      That rule or a null pointer if the transition is not
      a rule application.

    • getStrategy

      public RewriteStrategy getStrategy()
      Get the strategy executed, in case of an opaque transition.

      Returns:
      That strategy or a null pointer if the transition
      is not an opaque strategy.

    • toString

      public String toString()
      Overrides:
      toString in class Object