ArgumentativeTransformationFunction

java.lang.Object
- net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction

All Implemented Interfaces:

MultipleTransformationFunction<PlFormula>
```
public class ArgumentativeTransformationFunction
extends java.lang.Object
implements MultipleTransformationFunction<PlFormula>
```
This class implements the argumentative transformation functions proposed in [Kruempelmann:2011].

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`ArgumentativeTransformationFunction(Categorizer categorizer, Accumulator accumulator, PlBeliefSet beliefSet, boolean isSkeptical)`	Creates a new argumentative transformation function.

Method Summary

Modifier and Type Method Description

java.util.Collection<PlFormula> transform(java.util.Collection<PlFormula> formulas)
Transforms the given set of formulas for selective revision.
- Methods inherited from class java.lang.Object
  equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ArgumentativeTransformationFunction
```
public ArgumentativeTransformationFunction(Categorizer categorizer,
                                           Accumulator accumulator,
                                           PlBeliefSet beliefSet,
                                           boolean isSkeptical)
```
    Creates a new argumentative transformation function.
    
    Parameters:
    
    categorizer - The categorizer used by this transformation function.
    
    accumulator - The accumulator used by this transformation function.
    
    beliefSet - The belief set used by this transformation function.
    
    isSkeptical - Whether this transformation function is skeptical.
- Method Detail
  - transform
```
public java.util.Collection<PlFormula> transform(java.util.Collection<PlFormula> formulas)
```
    Description copied from interface: MultipleTransformationFunction
    
    Transforms the given set of formulas for selective revision.
    
    Specified by:
    
    transform in interface MultipleTransformationFunction<PlFormula>
    
    Parameters:
    
    formulas - a set of formulas.
    
    Returns:
    
    a set of formulas.