Package io.github.cvc5

Class Term.ConstIterator

java.lang.Object
io.github.cvc5.Term.ConstIterator
All Implemented Interfaces:
Iterator<Term>
Enclosing class:
Term
public class Term.ConstIterator extends Object implements Iterator<Term>
ConstIterator is an implementation of the Iterator interface for iterating over a collection of Term objects. It provides read-only access to the elements.

  • Constructor Details

    • ConstIterator

      public ConstIterator()
      Constructs a new ConstIterator.

  • Method Details