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