Package io.github.cvc5
Class Term.ConstIterator
java.lang.Object
io.github.cvc5.Term.ConstIterator
- Enclosing class:
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.