Uses of Class
org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration.Builder
-
Uses of Configuration.Builder in org.tweetyproject.arg.adf.reasoner.sat.execution
Modifier and TypeMethodDescriptionstatic Configuration.Builder
Configuration.builder()
Configuration.Builder.setParallelism
(int parallelism) Configuration.Builder.setSatSolver
(IncrementalSatSolver satSolver)