theory
0.20.9
theory
/
it.unibo.tuprolog.collections
/
ClauseCollection
/
addAll
add
All
abstract
fun
addAll
(
clauses
:
Iterable
<
<ERROR CLASS>
>
)
:
ClauseCollection
Content copied to clipboard
Gives a freshly produced
ClauseCollection
including all the given Clause and the content of this one