core/it.unibo.tuprolog.argumentation/Solutions

Solutions

class Solutions

The solutions of a goal, computed one at a time as they are asked for: with hasNext and next, or iterated in Kotlin

Functions

fun hasNext(): Boolean

operator fun iterator(): Iterator<Solution>

fun next(): Solution

fun toArray(limit: Int = Int.MAX_VALUE): Array<Solution>

The solutions left, at most limit of them (an array in JavaScript)

fun toList(limit: Int = Int.MAX_VALUE): List<Solution>

The solutions left, at most limit of them