commonMain.it.unibo.tuprolog.solve.classic.impl.SimpleSolutionIterator.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of solve-classic-jvm Show documentation

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve.classic.impl

import it.unibo.tuprolog.solve.classic.fsm.State

internal class SimpleSolutionIterator(
    state: State,
    private val onStateTransitionCallback: (State, State, Long) -> Unit,
) : AbstractSolutionIterator(state) {
    override fun computeNextState(
        state: State,
        step: Long,
    ): State = state.next()

    override fun onStateTransition(
        source: State,
        destination: State,
        index: Long,
    ) = onStateTransitionCallback(source, destination, index)
}