TupleIterator

class TupleIterator: Iterator<Term>, Any

Constructors

<init>

constructor(tuple: Tuple)

Parameters

Name Description
tuple: Tuple

Methods

hasNext

fun hasNext(): Boolean

ReturnValue

Name Description
Boolean

next

fun next(): Term

ReturnValue

Name Description
Term