data class AddDynamicClauses: AddClausesToKb
Fields
| Name | Description |
|---|---|
val clauses: Iterable<Clause>
|
|
val onTop: Boolean
|
Constructors
<init>
constructor(vararg clauses: Clause, onTop: Boolean)
Parameters
| Name | Description |
|---|---|
vararg clauses: Clause
|
|
onTop: Boolean
|
Methods
applyTo
fun applyTo(context: ExecutionContext): ExecutionContext
Parameters
| Name | Description |
|---|---|
context: ExecutionContext
|
ReturnValue
| Name | Description |
|---|---|
ExecutionContext
|