Class StrategySequenceSearch

java.lang.Object
es.ucm.maude.bindings.StrategySequenceSearch
All Implemented Interfaces:
Iterable<Term>, Iterator<Term>
public class StrategySequenceSearch extends Object implements Iterable<Term>, Iterator<Term>
An iterator through the solutions of a strategy-controlled search.

  • Method Details

    • delete

      public void delete()

    • iterator

      public Iterator<Term> iterator()
      Specified by:
      iterator in interface Iterable<Term>

    • hasNext

      public boolean hasNext()
      Specified by:
      hasNext in interface Iterator<Term>

    • next

      public Term next()
      Specified by:
      next in interface Iterator<Term>

    • getRewriteCount

      public int getRewriteCount()
      Get the number of rewrites until this term has been found.

    • getSubstitution

      public Substitution getSubstitution()
      Get the matching substitution of the solution into the pattern.

    • getTransition

      public StrategyGraphTransition getTransition(int stateNr)
      Get the transition leading to the given state.

      Parameters:
      stateNr - The number of a state in the search graph
      or -1 for the current one.

      Returns:
      The transition between the parent of the given state and the
      state itself.

    • getTransition

      public StrategyGraphTransition getTransition()
      Get the transition leading to the given state.



      Returns:
      The transition between the parent of the given state and the
      state itself.

    • getStateTerm

      public Term getStateTerm(int stateNr)
      Get the term of a given state.

      Parameters:
      stateNr - The number of a state in the search graph.

    • getStrategyContinuation

      public StrategyExpression getStrategyContinuation(int stateNr)
      Get the next strategy to be executed from the given state.

      Parameters:
      stateNr - The number of a state in the search graph
      or -1 for the current one.

    • getStrategyContinuation

      public StrategyExpression getStrategyContinuation()
      Get the next strategy to be executed from the given state.

    • __next

      public Term __next()
      Get the next match.

      Returns:
      A term or a null pointer if there is no more matches.

    • getStateNr

      public int getStateNr()
      Get an internal state number that allows reconstructing
      the path to this term.

    • getStateParent

      public int getStateParent(int stateNr)
      Get the parent state.

      Parameters:
      stateNr - The number of a state in the search graph.

      Returns:
      The number of the parent or -1 for the root.