Package io.github.cvc5

Class 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 Description
      ConstIterator()  
      ConstIterator​(boolean internal, boolean defaulted)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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>>