Uses of Interface
org.tweetyproject.arg.adf.sat.IncrementalSatSolver

Packages that use IncrementalSatSolver

Package	Description
org.tweetyproject.arg.adf.reasoner
org.tweetyproject.arg.adf.reasoner.sat.execution
org.tweetyproject.arg.adf.sat.solver
org.tweetyproject.arg.adf.semantics.link

Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.reasoner

Constructors in org.tweetyproject.arg.adf.reasoner with parameters of type IncrementalSatSolver

Modifier	Constructor	Description
	AbstractDialecticalFrameworkReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version.
	AdmissibleReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version.
	CompleteReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version.
	ConflictFreeReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version.
	GroundReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version.
	ModelReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version.
	NaiveReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version.
	PreferredReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version.
	StableReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version.

Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.reasoner.sat.execution

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

Modifier and Type	Method	Description
IncrementalSatSolver	Configuration.getSatSolver()

Methods in org.tweetyproject.arg.adf.reasoner.sat.execution with parameters of type IncrementalSatSolver

Modifier and Type	Method	Description
Configuration.Builder	Configuration.Builder.setSatSolver(IncrementalSatSolver satSolver)

Constructors in org.tweetyproject.arg.adf.reasoner.sat.execution with parameters of type IncrementalSatSolver

Modifier	Constructor	Description
	ParallelExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver, int parallelism)
	SequentialExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver)

Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.sat.solver

Classes in org.tweetyproject.arg.adf.sat.solver that implement IncrementalSatSolver

Modifier and Type	Class	Description
class	NativeLingelingSolver	Experimental lingeling binding
class	NativeMinisatSolver
class	NativePicosatSolver
class	PooledIncrementalSatSolver	A decorator which provides a pool of pre computed SatSolverState.

Methods in org.tweetyproject.arg.adf.sat.solver with parameters of type IncrementalSatSolver

Modifier and Type	Method	Description
static PooledIncrementalSatSolver.Builder	PooledIncrementalSatSolver.builder(IncrementalSatSolver satSolver)

Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.semantics.link

Constructors in org.tweetyproject.arg.adf.semantics.link with parameters of type IncrementalSatSolver

Modifier	Constructor	Description
	SatLinkStrategy(IncrementalSatSolver solver)