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

addStaticClauses

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