parallel-solver/it.unibo.tuprolog.argumentation.parallel.cluster/LocalCluster

LocalCluster

class LocalCluster @JvmOverloads constructor(parts: Int? = null, flags: Flags = Flags.defaults(), val scheduler: SequentialScheduler = SequentialScheduler(), lends: Boolean = true)

A distributed solver whose nodes run in turn, on the thread of the caller: the same messages as on a cluster, in a deterministic order, on every platform. The theory is split into at most parts partitions if given, one for each group of rules supporting one another otherwise; the graph is labelled as the standard solver does with flags.

Local clusters sharing their scheduler run in turn together: federated through links delivered by it (see it.unibo.tuprolog.argumentation.parallel.federation.MemoryLinks), they behave as sites on different machines, deterministically.

Constructors

LocalCluster

@JvmOverloads

constructor(parts: Int? = null, flags: Flags = Flags.defaults(), scheduler: SequentialScheduler = SequentialScheduler(), lends: Boolean = true)

Properties

flags

var flags: Flags

The flags of the solver, the initial ones those given: those set apply from the next evaluation on, the graph built anew, the links and the peers of the cluster kept

scheduler

val scheduler: SequentialScheduler

site

val site: Site

The site of the cluster, to federate it with others, through its links

solver

val solver: ClusterSolver

The cluster as a solver of arg2p: any goal, its solutions and their graphs, the answers of queries

stats

val stats: FederationStats

What the cluster does: its site, and the last evaluation it answered (see Site.stats)