Uses of Interface
net.sf.tweety.arg.deductive.accumulator.Accumulator
-
Packages that use Accumulator Package Description net.sf.tweety.arg.deductive.accumulator net.sf.tweety.arg.deductive.reasoner net.sf.tweety.beliefdynamics.selectiverevision.argumentative -
-
Uses of Accumulator in net.sf.tweety.arg.deductive.accumulator
Classes in net.sf.tweety.arg.deductive.accumulator that implement Accumulator Modifier and Type Class Description class
SimpleAccumulator
This implementation of an accumulator simply sums up the categorizations of the argument trees. -
Uses of Accumulator in net.sf.tweety.arg.deductive.reasoner
Fields in net.sf.tweety.arg.deductive.reasoner declared as Accumulator Modifier and Type Field Description private Accumulator
AbstractDeductiveArgumentationReasoner. accumulator
The accumulator used for reasoning.Constructors in net.sf.tweety.arg.deductive.reasoner with parameters of type Accumulator 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. -
Uses of Accumulator in net.sf.tweety.beliefdynamics.selectiverevision.argumentative
Fields in net.sf.tweety.beliefdynamics.selectiverevision.argumentative declared as Accumulator Modifier and Type Field Description private Accumulator
ArgumentativeTransformationFunction. accumulator
The accumulator used by this transformation function.Constructors in net.sf.tweety.beliefdynamics.selectiverevision.argumentative with parameters of type Accumulator Constructor Description ArgumentativeTransformationFunction(Categorizer categorizer, Accumulator accumulator, PlBeliefSet beliefSet, boolean isSkeptical)
Creates a new argumentative transformation function.
-