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.sat

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
AdmissibleInterpretationReasoner(IncrementalSatSolver solver)	Creates a new reasoner.

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