Class PooledIncrementalSatSolver.Builder
java.lang.Object
org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver.Builder
- Enclosing class:
- PooledIncrementalSatSolver
-
Method Summary
Modifier and TypeMethodDescriptionbuild()
setExecutor(Executor executor)
The executor used to perform the creation of the sat solver states.setPoolSize(int poolSize)
setStateDecorator(Function<SatSolverState,SatSolverState> stateDecorator)
-
Method Details
-
setExecutor
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
- Parameters:
poolSize
- the poolSize to set
-
setStateDecorator
public PooledIncrementalSatSolver.Builder setStateDecorator(Function<SatSolverState,SatSolverState> stateDecorator)- Parameters:
stateDecorator
- the stateDecorator to set
-
build
-