solve/it.unibo.tuprolog.solve.sideffects.impl/SideEffectsBuilderImpl/addDynamicClauses

addDynamicClauses

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