Class Configuration

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration

public final class Configuration
extends Object

The Configuration class encapsulates the settings used for SAT solving and parallel execution in an abstract dialectical framework (ADF) system. It provides a fluent API for configuring the solver and the parallelism level.

The configuration is built using the Configuration.Builder pattern, allowing users to specify an IncrementalSatSolver and a level of parallelism for parallel execution. The class is immutable once built.

 Example usage:
 Configuration config = Configuration.builder()
                                      .setSatSolver(new SomeSatSolver())
                                      .setParallelism(4)
                                      .build();
 

Author:

Sebastian Matthias Thimm

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	Configuration.Builder	The Builder class for constructing Configuration instances.

Method Summary

Modifier and Type	Method	Description
static Configuration.Builder	builder()	Returns a new Configuration.Builder for constructing Configuration objects.
int	getParallelism()	Gets the configured level of parallelism.
IncrementalSatSolver	getSatSolver()	Gets the configured IncrementalSatSolver.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

builder

public static Configuration.Builder builder()

Returns a new Configuration.Builder for constructing Configuration objects.

Returns:

a new Configuration.Builder instance

getSatSolver

public IncrementalSatSolver getSatSolver()

Gets the configured IncrementalSatSolver.

Returns:

the configured SAT solver

getParallelism

public int getParallelism()

Gets the configured level of parallelism.

Returns:

the parallelism level