solve/it.unibo.tuprolog.solve.sideffects/SideEffect/AddDynamicClauses/AddDynamicClauses

AddDynamicClauses

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