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

resetStaticKb

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