Uses of Class
net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
-
Packages that use AbstractDialecticalFrameworkReasoner Package Description net.sf.tweety.arg.adf.reasoner net.sf.tweety.arg.adf.reasoner.sat -
-
Uses of AbstractDialecticalFrameworkReasoner in net.sf.tweety.arg.adf.reasoner
Subclasses of AbstractDialecticalFrameworkReasoner in net.sf.tweety.arg.adf.reasoner Modifier and Type Class Description class
AdmissibleReasoner
class
CompleteReasoner
class
ConflictFreeReasoner
class
GroundReasoner
class
ModelReasoner
class
NaiveReasoner
class
PreferredReasoner
class
StableReasoner
-
Uses of AbstractDialecticalFrameworkReasoner in net.sf.tweety.arg.adf.reasoner.sat
Methods in net.sf.tweety.arg.adf.reasoner.sat that return AbstractDialecticalFrameworkReasoner Modifier and Type Method Description AbstractDialecticalFrameworkReasoner
Pipeline. asReasoner()
-