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

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	AdmissibleInterpretationReasoner.solver

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

Constructor	Description
AdmissibleInterpretationReasoner(IncrementalSatSolver solver)	Creates a new reasoner.

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