Response

data class Response: Solve

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

Fields

Name Description
val solution: Solution

The solution attached to the response

val sideEffectManager: SideEffectManager?

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

val sideEffects: List<SideEffect>

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

Constructors

<init>

constructor(solution: Solution, sideEffectManager: SideEffectManager?, sideEffects: Iterable<SideEffect>)

Parameters

Name Description
solution: Solution
sideEffectManager: SideEffectManager?
sideEffects: Iterable<SideEffect>

<init>

constructor(solution: Solution, sideEffectManager: SideEffectManager?, sideEffects: Sequence<SideEffect>)

Parameters

Name Description
solution: Solution
sideEffectManager: SideEffectManager?
sideEffects: Sequence<SideEffect>

<init>

constructor(solution: Solution, sideEffectManager: SideEffectManager?, vararg sideEffects: SideEffect)

Parameters

Name Description
solution: Solution
sideEffectManager: SideEffectManager?
vararg sideEffects: SideEffect

<init>

constructor(solution: Solution, sideEffectManager: SideEffectManager?, sideEffects: List<SideEffect>)

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

Parameters

Name Description
solution: Solution
sideEffectManager: SideEffectManager?
sideEffects: List<SideEffect>