Fields
Name | Description |
---|---|
val solution: Solution
|
The solution attached to the response |
val sideEffectManager: SideEffectManager?
|
The Prolog flow modification manager after request execution (use |
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
Parameters
Name | Description |
---|---|
solution: Solution
|
|
sideEffectManager: SideEffectManager?
|
|
sideEffects: Sequence
|
<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>
|
Class representing a Response, from the Solver, to a Solve.Request