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

addDynamicClauses

open fun addDynamicClauses(clauses: Iterable<<ERROR CLASS>>, onTop: Boolean = false): SideEffect.AddDynamicClauses
Content copied to clipboard
open fun addDynamicClauses(clauses: Sequence<<ERROR CLASS>>, onTop: Boolean = false): SideEffect.AddDynamicClauses
Content copied to clipboard
open fun addDynamicClauses(vararg clauses: <ERROR CLASS>, onTop: Boolean = false): SideEffect.AddDynamicClauses
Content copied to clipboard