Response
data class Response(val solution: Solution, val sideEffectManager: SideEffectManager? = null, val sideEffects: List<SideEffect>) : Solve
Class representing a Response, from the Solver, to a Solve.Request
Constructors
Link copied to clipboard
constructor(solution: Solution, sideEffectManager: SideEffectManager? = null, sideEffects: List<SideEffect>)
constructor(solution: Solution, sideEffectManager: SideEffectManager? = null, sideEffects: Iterable<SideEffect>)
constructor(solution: Solution, sideEffectManager: SideEffectManager? = null, sideEffects: Sequence<SideEffect>)
constructor(solution: Solution, sideEffectManager: SideEffectManager? = null, vararg sideEffects: SideEffect)
Properties
Link copied to clipboard
The Prolog flow modification manager after request execution (use null in case nothing changed)
Link copied to clipboard
The (possibly empty) List of SideEffects to be applied to the execution context after a primitive has been executed