Uses of Class
org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver.Builder

Packages that use PooledIncrementalSatSolver.Builder

Package	Description
org.tweetyproject.arg.adf.sat.solver

Uses of PooledIncrementalSatSolver.Builder in org.tweetyproject.arg.adf.sat.solver

Methods in org.tweetyproject.arg.adf.sat.solver that return PooledIncrementalSatSolver.Builder

Modifier and Type	Method	Description
static PooledIncrementalSatSolver.Builder	PooledIncrementalSatSolver.builder(IncrementalSatSolver satSolver)
PooledIncrementalSatSolver.Builder	PooledIncrementalSatSolver.Builder.setExecutor(Executor executor)	The executor used to perform the creation of the sat solver states.
PooledIncrementalSatSolver.Builder	PooledIncrementalSatSolver.Builder.setPoolSize(int poolSize)
PooledIncrementalSatSolver.Builder	PooledIncrementalSatSolver.Builder.setStateDecorator(Function<SatSolverState,SatSolverState> stateDecorator)