solve/it.unibo.tuprolog.solve/MutableSolver/loadStaticClauses

loadStaticClauses

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