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

Class Configuration.Builder

java.lang.Object

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

Enclosing class:

Configuration

public static final class Configuration.Builder
extends Object

The Builder class for constructing Configuration instances. It allows for the customization of the SAT solver and the parallelism level.

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

Author:

Sebastian Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
Configuration	build()	Builds and returns a new Configuration instance based on the current settings.
Configuration.Builder	setParallelism(int parallelism)	Sets the parallelism level used for parallel execution.
Configuration.Builder	setSatSolver(IncrementalSatSolver satSolver)	Sets the IncrementalSatSolver to be used in the Configuration.

Methods inherited from class java.lang.Object

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

Constructor Details

Builder

public Builder()

Method Details

setSatSolver

public Configuration.Builder setSatSolver(IncrementalSatSolver satSolver)

Sets the IncrementalSatSolver to be used in the Configuration.

Parameters:

satSolver - the SAT solver to use, must not be null

Returns:

this builder instance for method chaining

Throws:

NullPointerException - if satSolver is null

setParallelism

public Configuration.Builder setParallelism(int parallelism)

Sets the parallelism level used for parallel execution.

Parameters:

parallelism - the parallelism level, must be greater than 1

Returns:

this builder instance for method chaining

Throws:

IllegalArgumentException - if parallelism is less than 2

build

public Configuration build()

Builds and returns a new Configuration instance based on the current settings.

Returns:

a new Configuration instance