Class PooledIncrementalSatSolver.Builder

java.lang.Object

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

Enclosing class:

PooledIncrementalSatSolver

public static final class PooledIncrementalSatSolver.Builder
extends Object

class Builder

Author:

Sebastian

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

Returns:

Builder setExecutor

setPoolSize

public PooledIncrementalSatSolver.Builder setPoolSize(int poolSize)

Parameters:

poolSize - the poolSize to set

Returns:

Builder setPoolSize

setStateDecorator

public PooledIncrementalSatSolver.Builder setStateDecorator(Function<SatSolverState,SatSolverState> stateDecorator)

Parameters:

stateDecorator - the stateDecorator to set

Returns:

Builder setStateDecorator

build

public PooledIncrementalSatSolver build()

Returns:

PooledIncrementalSatSolver