ai.planning.strips
Class ToPropositionalTransformer.ArgOptionIterator

java.lang.Object
  ai.planning.strips.ToPropositionalTransformer.ArgOptionIterator

All Implemented Interfaces:

java.util.Iterator<ai.krr.fol.Term[]>

Enclosing class:

ToPropositionalTransformer

 class ToPropositionalTransformer.ArgOptionIterator
extends java.lang.Object
implements java.util.Iterator<ai.krr.fol.Term[]>

Constructor Summary

ToPropositionalTransformer.ArgOptionIterator(Domain.DomainType[] types)

Method Summary

boolean	hasNext()
ai.krr.fol.Term[]	next()
void	remove()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ToPropositionalTransformer.ArgOptionIterator

public ToPropositionalTransformer.ArgOptionIterator(Domain.DomainType[] types)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<ai.krr.fol.Term[]>

next

public ai.krr.fol.Term[] next()

Specified by:

next in interface java.util.Iterator<ai.krr.fol.Term[]>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<ai.krr.fol.Term[]>