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.generator
net.sf.tweety.arg.adf.sat

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

Methods in net.sf.tweety.arg.adf.reasoner that return IncrementalSatSolver

Modifier and Type	Method	Description
IncrementalSatSolver	SatReasonerContext.getSolver()

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)
SatReasonerContext(SatEncodingContext encodingContext, IncrementalSatSolver solver, SatSolverState solverState)
StableReasoner(IncrementalSatSolver solver)

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

Constructors in net.sf.tweety.arg.adf.reasoner.generator with parameters of type IncrementalSatSolver

Constructor	Description
SatConflictFreeGenerator(IncrementalSatSolver solver)
SatGroundGenerator(IncrementalSatSolver solver)
SatModelGenerator(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	SimpleIncrementalSatSolver	A simple wrapper which can be used where instances of IncrementalSatSolver are needed.