Uses of Class net.sf.tweety.arg.adf.sat.IncrementalSatSolver

Packages that use IncrementalSatSolver
Package	Description
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.reasoner.sat
net.sf.tweety.arg.adf.reasoner.sat.processor
net.sf.tweety.arg.adf.sat
net.sf.tweety.arg.adf.semantics.link

Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.reasoner

Constructors in net.sf.tweety.arg.adf.reasoner with parameters of type IncrementalSatSolver
Constructor	Description
`AdmissibleReasoner(IncrementalSatSolver solver)`
`CompleteReasoner(IncrementalSatSolver solver)`
`ConflictFreeReasoner(IncrementalSatSolver solver)`
`GroundReasoner(IncrementalSatSolver solver)`
`ModelReasoner(IncrementalSatSolver solver)`
`NaiveReasoner(IncrementalSatSolver solver)`
`PreferredReasoner(IncrementalSatSolver solver)`
`StableReasoner(IncrementalSatSolver solver)`

Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.reasoner.sat

Methods in net.sf.tweety.arg.adf.reasoner.sat with parameters of type IncrementalSatSolver
Modifier and Type	Method	Description
`static Pipeline.Builder`	Pipeline.`builder(CandidateGenerator candidateGenerator, IncrementalSatSolver solver)`

Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.reasoner.sat.processor

Methods in net.sf.tweety.arg.adf.reasoner.sat.processor with parameters of type IncrementalSatSolver
Modifier and Type	Method	Description
`static StateProcessor`	RelativeKBipolarStateProcessor.`absoluteBounded(int k, Ordering<Argument> ordering, IncrementalSatSolver solver)`
`static StateProcessor`	RelativeKBipolarStateProcessor.`relativeBounded(double l, int k, Ordering<Argument> ordering, IncrementalSatSolver solver)`

Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.sat

Subclasses of IncrementalSatSolver in net.sf.tweety.arg.adf.sat
Modifier and Type	Class	Description
`class`	`NativeLingelingSolver`	Experimental lingeling binding
`class`	`NativeMinisatSolver`
`class`	`NativePicosatSolver`
`class`	`SimpleIncrementalSatSolver`	A simple wrapper which can be used where instances of `IncrementalSatSolver` are needed.

Uses of IncrementalSatSolver in net.sf.tweety.arg.adf.semantics.link

Constructors in net.sf.tweety.arg.adf.semantics.link with parameters of type IncrementalSatSolver
Constructor	Description
`SatLinkStrategy(IncrementalSatSolver solver)`
`SatLinkStrategy(IncrementalSatSolver solver, Interpretation assumption)`	Computes the link type based on the two-valued assignments of the given assumption.