Class VariantUnifierSearch

java.lang.Object
es.ucm.maude.bindings.VariantUnifierSearch
All Implemented Interfaces:
Iterable<Substitution>, Iterator<Substitution>
public class VariantUnifierSearch extends Object implements Iterable<Substitution>, Iterator<Substitution>
An iterator through unifiers or matchers for variant unification or matching.

  • Method Details

    • delete

      public void delete()

    • iterator

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

    • hasNext

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

    • next

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

    • isIncomplete

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

    • filteringIncomplete

      public boolean filteringIncomplete()
      Whether filetering was incomplete due to incomplete unification algorithms.

    • __next

      public Substitution __next()
      Get the next unifier.

      Returns:
      The next unifier or null if there is no more.