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

Go to download

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

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

There is a newer version: 0.17.4

Show newest version

package it.unibo.tuprolog.solve.classic

import it.unibo.tuprolog.solve.classic.fsm.State
import it.unibo.tuprolog.solve.classic.impl.HijackableSolutionIterator
import kotlin.js.JsName
import kotlin.jvm.JvmOverloads
import kotlin.jvm.JvmStatic

interface MutableSolutionIterator : SolutionIterator {
    @JsName("hijackStateTransition")
    fun hijackStateTransition(source: State, destination: State, index: Long): State

    companion object {
        @JsName("of")
        @JvmStatic
        @JvmOverloads
        fun of(
            initialState: State,
            hijackStateTransitionCallback: (State, State, Long) -> State = { _, dest, _ -> dest },
            onStateTransitionCallback: (State, State, Long) -> Unit = { _, _, _ -> }
        ): SolutionIterator {
            return HijackableSolutionIterator(initialState, hijackStateTransitionCallback, onStateTransitionCallback)
        }
    }
}