ResetDynamicKb

data class ResetDynamicKb: SetClausesOfKb

Fields

Name Description
val clauses: Iterable<Clause>

Constructors

<init>

constructor(vararg clauses: Clause)

Parameters

Name Description
vararg clauses: Clause

<init>

constructor(clauses: Sequence<Clause>)

Parameters

Name Description
clauses: Sequence<Clause>

<init>

constructor(clauses: Iterable<Clause>)

Parameters

Name Description
clauses: Iterable<Clause>

Methods

applyTo

fun applyTo(context: ExecutionContext): ExecutionContext

Parameters

Name Description
context: ExecutionContext

ReturnValue

Name Description
ExecutionContext