Uses of Class
org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner

Packages that use AbstractSatExtensionReasoner

Package	Description
org.tweetyproject.arg.dung.reasoner

Uses of AbstractSatExtensionReasoner in org.tweetyproject.arg.dung.reasoner

Subclasses of AbstractSatExtensionReasoner in org.tweetyproject.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.