solve/it.unibo.tuprolog.solve/MutableSolver/loadDynamicClauses

loadDynamicClauses

open fun loadDynamicClauses(vararg clauses: <ERROR CLASS>)
Content copied to clipboard
open fun loadDynamicClauses(clauses: Iterable<<ERROR CLASS>>)
Content copied to clipboard
open fun loadDynamicClauses(clauses: Sequence<<ERROR CLASS>>)
Content copied to clipboard