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(Semantics semantics, IncrementalSatSolver satSolver, int parallelism)
	SequentialExecution(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
final class	NativeLingelingSolver	Experimental lingeling binding
final class	NativeMinisatSolver
final class	NativePicosatSolver
final 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)