Class RewriteSearchState

java.lang.Object
es.ucm.maude.bindings.RewriteSearchState
All Implemented Interfaces:
Iterable<Term>, Iterator<Term>
public class RewriteSearchState extends Object implements Iterable<Term>, Iterator<Term>
An iterator through rewriting 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>

    • getRule

      public Rule getRule()
      Get the applied rule.

    • __next

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

    • getSubstitution

      public Substitution getSubstitution()
      Get the matching substitution.

    • fillContext

      public Term fillContext(Term term)
      Get the context of the match filled with the given term.

      Parameters:
      term - Term to fill the context.

      Returns:
      The original term with the matched subterm replaced by the given term.