Uses of Interface
net.sf.tweety.arg.deductive.categorizer.Categorizer

Packages that use Categorizer

Package	Description
net.sf.tweety.arg.deductive.categorizer
net.sf.tweety.arg.deductive.reasoner

Uses of Categorizer in net.sf.tweety.arg.deductive.categorizer

Classes in net.sf.tweety.arg.deductive.categorizer that implement Categorizer

Modifier and Type	Class	Description
class	ClassicalCategorizer	This class implements a simple categorizer that does an bottom-up marking of the tree; leafs are marked undefeated and an inner node is marked defeated if at least one child is marked undefeated and defeated otherwise. The method "categorize" returns "1" if the root node is undefeated and "0" if it is defeated.
class	HCategorizer	This class implements the h-categorizer from Philippe Besnard and Anthony Hunter.

Uses of Categorizer in net.sf.tweety.arg.deductive.reasoner

Constructors in net.sf.tweety.arg.deductive.reasoner with parameters of type Categorizer

Constructor	Description
AbstractDeductiveArgumentationReasoner(Categorizer categorizer, Accumulator accumulator)	Creates a new reasoner for the given belief base, categorizer, and accumulator.
CompilationReasoner(Categorizer categorizer, Accumulator accumulator)	Creates a new compilation reasoner for the given belief base, categorizer, and accumulator.
SimpleDeductiveReasoner(Categorizer categorizer, Accumulator accumulator)	Creates a new reasoner for the given belief base, categorizer, and accumulator.