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 and Description
class	SatCompleteReasoner Uses a SAT solver to determine complete extensions.
class	SatStableReasoner Uses a SAT solver to determine stable extensions.