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

Packages that use IncrementalSatSolver

Package	Description
net.sf.tweety.arg.adf.cli
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.reasoner.generator
net.sf.tweety.arg.adf.reasoner.test
net.sf.tweety.arg.adf.sat

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

Fields in net.sf.tweety.arg.adf.cli declared as IncrementalSatSolver

Modifier and Type	Field	Description
private static IncrementalSatSolver	CommandLineInterface.satSolver

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

Fields in net.sf.tweety.arg.adf.reasoner declared as IncrementalSatSolver

Modifier and Type	Field	Description
private IncrementalSatSolver	SatReasonerContext.solver

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

Modifier and Type	Method	Description
IncrementalSatSolver	SatReasonerContext.getSolver()

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

Modifier and Type	Method	Description
private static Pipeline<SatReasonerContext>	AdmissibleReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	CompleteReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	ConflictFreeReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	GroundReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	ModelReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	NaiveReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	PreferredReasoner.satBased(IncrementalSatSolver solver)
private static Pipeline<SatReasonerContext>	StableReasoner.satBased(IncrementalSatSolver solver)

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

Fields in net.sf.tweety.arg.adf.reasoner.generator declared as IncrementalSatSolver

Modifier and Type	Field	Description
private IncrementalSatSolver	SatConflictFreeGenerator.solver
private IncrementalSatSolver	SatGroundGenerator.solver
private IncrementalSatSolver	SatModelGenerator.solver

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.reasoner.test

Fields in net.sf.tweety.arg.adf.reasoner.test declared as IncrementalSatSolver

Modifier and Type	Field	Description
private static IncrementalSatSolver	ReasonerBenchmark.satSolver

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.