Uses of Class
net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner

Packages that use AbstractSatExtensionReasoner

Package	Description
net.sf.tweety.arg.dung.reasoner

Uses of AbstractSatExtensionReasoner in net.sf.tweety.arg.dung.reasoner

Subclasses of AbstractSatExtensionReasoner in net.sf.tweety.arg.dung.reasoner

Modifier and Type	Class	Description
class	SatCompleteReasoner	Uses a SAT solver to determine complete extensions.
class	SatStableReasoner	Uses a SAT solver to determine stable extensions.