solve/it.unibo.tuprolog.solve.primitive/Solve/Response

Response

data class Response(    val solution: Solution,     val sideEffectManager: SideEffectManager? = null,     val sideEffects: List<SideEffect>) : Solve
Content copied to clipboard

Class representing a Response, from the Solver, to a Solve.Request

Constructors

Link copied to clipboard
fun Response(    solution: Solution,     sideEffectManager: SideEffectManager? = null,     sideEffects: Iterable<SideEffect>)
Content copied to clipboard
Link copied to clipboard
fun Response(    solution: Solution,     sideEffectManager: SideEffectManager? = null,     sideEffects: Sequence<SideEffect>)
Content copied to clipboard
Link copied to clipboard
fun Response(    solution: Solution,     sideEffectManager: SideEffectManager? = null,     vararg sideEffects: SideEffect)
Content copied to clipboard
Link copied to clipboard
fun Response(    solution: Solution,     sideEffectManager: SideEffectManager? = null,     sideEffects: List<SideEffect>)
Content copied to clipboard

Properties

Link copied to clipboard
val sideEffectManager: SideEffectManager? = null
Content copied to clipboard

The Prolog flow modification manager after request execution (use null in case nothing changed)

Link copied to clipboard
val sideEffects: List<SideEffect>
Content copied to clipboard

The (possibly empty) List of SideEffects to be applied to the execution context after a primitive has been executed

Link copied to clipboard
val solution: Solution
Content copied to clipboard

The solution attached to the response