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