Configuration

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration

public final class Configuration extends Object

Author:: Sebastian Matthias Thimm

Nested Class Summary

Nested Classes

Modifier and Type

Class

Description

static final class

Configuration.Builder
Method Summary

Modifier and Type

Method

Description

static Configuration.Builder

builder()

int

getParallelism()

IncrementalSatSolver

getSatSolver()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- builder
  
  public static Configuration.Builder builder()
  
  Returns:
  
  builder
- getSatSolver
  
  public IncrementalSatSolver getSatSolver()
  
  Returns:
  
  getSatSolver
- getParallelism
  
  public int getParallelism()
  
  Returns:
  
  getParallelism