partition

fun <C : Clause> Iterable<C>.partition(unificator: Unificator = Unificator.default, staticByDefault: Boolean = true): ClausePartition

Partitions this collection of clauses into a ClausePartition, using unificator to match directive patterns.

fun Theory.partition(unificator: Unificator = this.unificator, staticByDefault: Boolean = true): ClausePartition

Partitions this Theory's clauses into a ClausePartition, using its own Theory.unificator by default.