Package-level declarations
Types
Link copied to clipboard
data class Partitioning(val shared: String, val partitions: List<String>, val converted: Boolean = true, val catalog: String = shared)
A theory split for the workers of a distributed solver: each of them solves shared with one of partitions (theoryOf), all as Prolog text in the language of arg2p
Link copied to clipboard
object TheoryPartitioner
The partitions of a theory, for the workers of a distributed solver: each worker owns the rules of its partition, and builds on the arguments of the others as well (see it.unibo.tuprolog.argumentation.parallel.node.Catalog). The rules and premises that support one another (a premise of one unifies with the conclusion of another) are kept together as far as the number of partitions allows, so that fewer arguments travel between workers.