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

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

Class	Description
Configuration	The Configuration class encapsulates the settings used for SAT solving and parallel execution in an abstract dialectical framework (ADF) system.
Configuration.Builder	The Builder class for constructing Configuration instances.
Execution	Encapsulates the state of a query execution.
ParallelExecution	ParallelExecution class
Semantics	Provides access to the computational building blocks of SAT based ADF semantics.
SequentialExecution	SequentialExecution class