Package net.sf.tweety.arg.adf.reasoner
-
Class Summary Class Description AbstractDialecticalFrameworkReasoner Ancestor class for all adf reasoner TODO: may be replaced with an interface with default implementationsAdmissibleReasoner CompleteReasoner ConflictFreeReasoner GroundReasoner ModelReasoner NaiveReasoner Pipeline<S> Pipeline.Builder<S> It is safe to use the builder after the build call if the used processors are stateless.PipelineReasoner PreferredReasoner SatReasonerContext Encapsulates the necessary information needed by Sat based algorithms.StableReasoner