| Package | Description | 
|---|---|
| net.sf.tweety.arg.deductive | |
| net.sf.tweety.arg.deductive.accumulator | |
| net.sf.tweety.beliefdynamics.selectiverevision.argumentative | 
| Modifier and Type | Field and Description | 
|---|---|
private Accumulator | 
AbstractDeductiveArgumentationReasoner.accumulator
The accumulator used for reasoning. 
 | 
| Constructor and Description | 
|---|
AbstractDeductiveArgumentationReasoner(BeliefBase beliefBase,
                                      Categorizer categorizer,
                                      Accumulator accumulator)
Creates a new  reasoner for the given belief base,
 categorizer, and accumulator. 
 | 
CompilationReasoner(BeliefBase beliefBase,
                   Categorizer categorizer,
                   Accumulator accumulator)
Creates a new compilation reasoner for the given belief base,
 categorizer, and accumulator. 
 | 
SimpleReasoner(BeliefBase beliefBase,
              Categorizer categorizer,
              Accumulator accumulator)
Creates a new reasoner for the given belief base,
 categorizer, and accumulator. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
SimpleAccumulator
This implementation of an accumulator simply sums
 up the categorizations of the argument trees. 
 | 
| Modifier and Type | Field and Description | 
|---|---|
private Accumulator | 
ArgumentativeTransformationFunction.accumulator
The accumulator used by this transformation function. 
 | 
| Constructor and Description | 
|---|
ArgumentativeTransformationFunction(Categorizer categorizer,
                                   Accumulator accumulator,
                                   PlBeliefSet beliefSet,
                                   boolean isSkeptical)
Creates a new argumentative transformation function. 
 |