Package io.github.cvc5

Class Statistics.ConstIterator

java.lang.Object
io.github.cvc5.Statistics.ConstIterator
All Implemented Interfaces:
Iterator<Map.Entry<String,Stat>>
Enclosing class:
Statistics
public class Statistics.ConstIterator extends Object implements Iterator<Map.Entry<String,Stat>>
An iterator over the statistics entries maintained by the Statistics class. This is a constant (read-only) iterator that returns immutable key-value pairs, where the key is a String and the value is a Stat.

  • Constructor Details

    • ConstIterator

      public ConstIterator(boolean internal, boolean defaulted)
      Constructs a new iterator over the statistics with specific filtering options.
      Parameters:
      internal - If true, internal statistics are included in the iteration.
      defaulted - If true, statistics that have default values are included.

    • ConstIterator

      public ConstIterator()
      Constructs a new iterator over the statistics using default visibility options. By default, only public (non-internal) and explicitly set statistics are shown.

  • Method Details