solve-classic/it.unibo.tuprolog.solve.classic/SolutionIterator

SolutionIterator

interface SolutionIterator : Iterator<<ERROR CLASS>>

Types

object Companion

Functions

abstract operator override fun hasNext(): Boolean

abstract operator override fun next(): <ERROR CLASS>

onStateTransition

abstract fun onStateTransition( source: State, destination: State, index: Long)

Properties

abstract val state: State

abstract val step: Long

Inheritors

MutableSolutionIterator