Class StrategicSearch

java.lang.Object
es.ucm.maude.bindings.StrategicSearch
All Implemented Interfaces:
Iterable<Term>, Iterator<Term>
public class StrategicSearch extends Object implements Iterable<Term>, Iterator<Term>
An iterator through the solutions of a strategy 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 the solution has been found.

    • __next

      public Term __next()
      Get the next solution for the strategic search.

      Returns:
      That solution or null pointer if the end has
      been reached.