Class NarrowingSequenceSearch

java.lang.Object
es.ucm.maude.bindings.NarrowingSequenceSearch
All Implemented Interfaces:
Iterable<Term>, Iterator<Term>
public class NarrowingSequenceSearch extends Object implements Iterable<Term>, Iterator<Term>
An iterator through narrowing solutions.

  • 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>

    • isIncomplete

      public boolean isIncomplete()
      Whether some solutions may have been missed due to incomplete unification algorithms.

    • getStateParent

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

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

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

    • __next

      public Term __next()
      Get the next solution of the narrowing search.

    • getSubstitution

      public Substitution getSubstitution()
      Get the accumulated substitution.

    • getUnifier

      public Substitution getUnifier()
      Get the variant unifier.

    • getFrontierStates

      public TermVector getFrontierStates()
      Get the frontier states.

    • getMostGeneralStates

      public TermVector getMostGeneralStates()
      Get the most general states.