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()
Configuration.Builder	Configuration.Builder.setParallelism(int parallelism)
Configuration.Builder	Configuration.Builder.setSatSolver(IncrementalSatSolver satSolver)