Uses of Class
org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver.Builder
-
Uses of PooledIncrementalSatSolver.Builder in org.tweetyproject.arg.adf.sat.solver
Modifier and TypeMethodDescriptionPooledIncrementalSatSolver.builder(IncrementalSatSolver satSolver)
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)