Uses of Class
org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration.Builder

Packages that use Configuration.Builder

Package	Description
org.tweetyproject.arg.adf.reasoner.sat.execution

Uses of Configuration.Builder in org.tweetyproject.arg.adf.reasoner.sat.execution

Methods in org.tweetyproject.arg.adf.reasoner.sat.execution that return Configuration.Builder

Modifier and Type	Method	Description
static Configuration.Builder	Configuration.builder()	Returns a new Configuration.Builder for constructing Configuration objects.
Configuration.Builder	Configuration.Builder.setParallelism(int parallelism)	Sets the parallelism level used for parallel execution.
Configuration.Builder	Configuration.Builder.setSatSolver(IncrementalSatSolver satSolver)	Sets the IncrementalSatSolver to be used in the Configuration.