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

MutableSolutionIterator

interface MutableSolutionIterator : SolutionIterator

Types

object Companion

Functions

abstract operator override fun hasNext(): Boolean

hijackStateTransition

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

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