TupleIterator

class TupleIterator(tuple: Tuple) : Iterator<Term>

An Iterator walking the elements of a Tuple, from Tuple.left to Tuple.left, following Tuple.right chains.

Constructors

Link copied to clipboard
constructor(tuple: Tuple)

Functions

Link copied to clipboard
open operator override fun hasNext(): Boolean
Link copied to clipboard
open operator override fun next(): Term