Datatype.ConstIterator

java.lang.Object
- io.github.cvc5.Datatype.ConstIterator

All Implemented Interfaces:: java.util.Iterator<DatatypeConstructor>

Enclosing class:: Datatype

public class Datatype.ConstIterator
extends java.lang.Object
implements java.util.Iterator<DatatypeConstructor>

- Constructor Summary
  
  Constructors
  Constructor Description
  
  ConstIterator()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  boolean hasNext()
  
  DatatypeConstructor 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 java.util.Iterator<DatatypeConstructor>
  - next
```
public DatatypeConstructor next()
```
    Specified by:
    
    next in interface java.util.Iterator<DatatypeConstructor>