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.