solve/it.unibo.tuprolog.solve.sideffects/SideEffectFactory/resetDynamicKb

resetDynamicKb

open fun resetDynamicKb(clauses: Iterable<<ERROR CLASS>>): SideEffect.ResetDynamicKb
Content copied to clipboard
open fun resetDynamicKb(clauses: Sequence<<ERROR CLASS>>): SideEffect.ResetDynamicKb
Content copied to clipboard
open fun resetDynamicKb(vararg clauses: <ERROR CLASS>): SideEffect.ResetDynamicKb
Content copied to clipboard