PooledIncrementalSatSolver.Builder

java.lang.Object

org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver.Builder

Enclosing class:: PooledIncrementalSatSolver

public static final class PooledIncrementalSatSolver.Builder extends Object

Method Summary

Modifier and Type

Method

Description

PooledIncrementalSatSolver

build()

PooledIncrementalSatSolver.Builder

setExecutor(Executor executor)

The executor used to perform the creation of the sat solver states.

PooledIncrementalSatSolver.Builder

setPoolSize(int poolSize)

PooledIncrementalSatSolver.Builder

setStateDecorator(Function<SatSolverState,SatSolverState> stateDecorator)

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- setExecutor
  
  public PooledIncrementalSatSolver.Builder setExecutor(Executor executor)
  
  The executor used to perform the creation of the sat solver states.
  As a default Executors.newSingleThreadExecutor() is used.
  
  Parameters:
  
  executor - the executor to set
- setPoolSize
  
  public PooledIncrementalSatSolver.Builder setPoolSize(int poolSize)
  
  Parameters:
  
  poolSize - the poolSize to set
- setStateDecorator
  
  public PooledIncrementalSatSolver.Builder setStateDecorator(Function<SatSolverState,SatSolverState> stateDecorator)
  
  Parameters:
  
  stateDecorator - the stateDecorator to set
- build
  
  public PooledIncrementalSatSolver build()