of
fun of(unificator: Unificator, staticClauses: Theory? = null, dynamicClauses: Theory? = null, operators: OperatorSet? = null, initialGoals: List<Struct>? = null, includes: List<Atom>? = null, flagStore: FlagStore? = null): ClausePartition
Creates a ClausePartition out of explicit components, defaulting unspecified ones to empty.