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

AddStaticClauses

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