commonMain.it.unibo.tuprolog.solve.sideffects.SideEffectManager.kt Maven / Gradle / Ivy

Go to download

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

Resolution-agnostic API for logic solvers

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve.sideffects

import kotlin.js.JsName

/**
 * An interface representing a manager for flow modifications that can occur to Prolog resolution process
 *
 * @author Enrico
 */
interface SideEffectManager {
    /** A function to execute cut, and return a new [SideEffectManager] with executed cut */
    @JsName("cut")
    fun cut(): SideEffectManager
}