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

Author:: Sebastian Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

Builder()
Method Summary

Modifier and Type

Method

Description

Configuration

build()

Configuration.Builder

setParallelism(int parallelism)

Configuration.Builder

setSatSolver(IncrementalSatSolver satSolver)

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)
  
  Parameters:
  
  satSolver - satSolver
  
  Returns:
  
  setSatSolver
- setParallelism
  
  public Configuration.Builder setParallelism(int parallelism)
  
  Parameters:
  
  parallelism - the parallelism level used if a query is executed in parallel
  
  Returns:
  
  this builder
- build
  
  public Configuration build()
  
  Returns:
  
  Configuration build