parallel-solver/it.unibo.tuprolog.argumentation.parallel.partition/Partitioning

Partitioning

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

Constructors

Partitioning

constructor(shared: String, partitions: List<String>, converted: Boolean = true, catalog: String = shared)

Properties

catalog

val catalog: String

The theory of the catalog: its shared part, or the whole theory when it is not split

converted

val converted: Boolean

The rules of the partitions are those the theory converts to: the workers convert them no further

partitions

val partitions: List<String>

shared

val shared: String

Functions

theoryOf

fun theoryOf(index: Int): String

The theory of the worker of the partition index: the conversions turned off if applied, whatever the profile of the theory presets