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. Constructs an AdmissibleReasoner with the specified SAT solver.
	CompleteReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructs a CompleteReasoner with the specified SAT solver.
	ConflictFreeReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructs a ConflictFreeReasoner with the given SAT solver.
	GroundReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructs a GroundReasoner with the specified SAT solver.
	ModelReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructs a ModelReasoner with the specified SAT solver.
	NaiveReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructor
	PreferredReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructs a PreferredReasoner with the given SAT solver.
	StableReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version. Constructs a new StableReasoner using the given incremental SAT solver.

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()	Gets the configured IncrementalSatSolver.

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)	Sets the IncrementalSatSolver to be used in the Configuration.

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	NativeMinisatSolver class
final class	NativePicosatSolver	NativePicosatSolver class
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)