io.github.cvc5

Class Statistics.ConstIterator

java.lang.Object

io.github.cvc5.Statistics.ConstIterator

All Implemented Interfaces:

java.util.Iterator<java.util.Map.Entry<java.lang.String,Stat>>

Enclosing class:

Statistics

public class Statistics.ConstIterator
extends java.lang.Object
implements java.util.Iterator<java.util.Map.Entry<java.lang.String,Stat>>

Constructor Summary

Constructors

Constructor and Description
ConstIterator()
ConstIterator(boolean internal, boolean defaulted)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
java.util.Map.Entry<java.lang.String,Stat>	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(boolean internal,
                     boolean defaulted)

ConstIterator

public ConstIterator()

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<java.util.Map.Entry<java.lang.String,Stat>>

next

public java.util.Map.Entry<java.lang.String,Stat> next()

Specified by:

next in interface java.util.Iterator<java.util.Map.Entry<java.lang.String,Stat>>