VariantSearch

java.lang.Object

es.ucm.maude.bindings.VariantSearch

All Implemented Interfaces:: Iterable<TermSubstitutionPair>, Iterator<TermSubstitutionPair>

public class VariantSearch extends Object implements Iterable<TermSubstitutionPair>, Iterator<TermSubstitutionPair>

An iterator through variants.

Method Summary

Modifier and Type

Method

Description

TermSubstitutionPair

__next()

Get the next variant.

void

delete()

boolean

hasNext()

boolean

isIncomplete()

Whether some variants may have been missed due to incomplete unification algorithms.

Iterator<TermSubstitutionPair>

iterator()

TermSubstitutionPair

next()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Iterable
forEach, spliterator

Methods inherited from interface java.util.Iterator
forEachRemaining, remove

Method Details
- delete
  
  public void delete()
- iterator
  
  public Iterator<TermSubstitutionPair> iterator()
  
  Specified by:
  
  iterator in interface Iterable<TermSubstitutionPair>
- hasNext
  
  public boolean hasNext()
  
  Specified by:
  
  hasNext in interface Iterator<TermSubstitutionPair>
- next
  
  public TermSubstitutionPair next()
  
  Specified by:
  
  next in interface Iterator<TermSubstitutionPair>
- isIncomplete
  
  public boolean isIncomplete()
  
  Whether some variants may have been missed due to incomplete unification algorithms.
- __next
  
  public TermSubstitutionPair __next()
  
  Get the next variant.
  
  Returns:
  
  The variant term or null if there is no more.