Package net.sf.tweety.arg.adf.reasoner
-
Interface Summary Interface Description LinkStrategy -
Class Summary Class Description AbstractDialecticalFrameworkReasoner Ancestor class for all adf reasoner TODO: may be replaced with an interface with default implementationsAdmissibleInterpretationReasoner NaiveInterpretationReasoner SatEncoding TODO: generalize? TODO: rewrite encoding in cnfSatLinkStrategy Computes the LinkType via two Sat-calls.SatModelReasoner