io.github.cvc5

Class DatatypeConstructor.ConstIterator

java.lang.Object

io.github.cvc5.DatatypeConstructor.ConstIterator

All Implemented Interfaces:

Iterator<DatatypeSelector>

Enclosing class:

DatatypeConstructor

public class DatatypeConstructor.ConstIterator
extends Object
implements Iterator<DatatypeSelector>

Constructor Summary

Constructors

Constructor and Description
ConstIterator()

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
DatatypeSelector	next()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Constructor Detail

ConstIterator

public ConstIterator()

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<DatatypeSelector>

next

public DatatypeSelector next()

Specified by:

next in interface Iterator<DatatypeSelector>