UnificationProblem

java.lang.Object

es.ucm.maude.bindings.UnificationProblem

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

public class UnificationProblem extends Object implements Iterable<Substitution>, Iterator<Substitution>

An iterator through unifiers.

Method Summary

Modifier and Type

Method

Description

Substitution

__next()

Get the next unifier.

void

delete()

boolean

hasNext()

Iterator<Substitution>

iterator()

Substitution

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<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>
- __next
  
  public Substitution __next()
  
  Get the next unifier.
  
  Returns:
  
  That unifier or null pointer if there is no more.