solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve.directives
/
ClausePartitioner
/
ClausePartitioner
Clause
Partitioner
common
fun
ClausePartitioner
(
source
:
Iterable
<
<ERROR CLASS>
>
,
staticByDefault
:
Boolean
=
true
)
Content copied to clipboard