ResetStaticKb

data class ResetStaticKb: SideEffect

Fields

Name Description
val theory: by lazy { if (clauses is Theory) { clauses } else { Theory.indexedOf(clauses) } }
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>