theory
/
it.unibo.tuprolog.collections
/
MutableClauseCollection
/
addAll
add
All
abstract override fun
addAll
(clauses:
Iterable
<
Clause
>):
MutableClauseCollection
Content copied to clipboard
Adds all the given
Clause
to this
MutableClauseCollection