Class ArgumentativeTransformationFunction
- java.lang.Object
 - 
- org.tweetyproject.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. 
 - 
 
- 
- 
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:MultipleTransformationFunctionTransforms the given set of formulas for selective revision.- Specified by:
 transformin interfaceMultipleTransformationFunction<PlFormula>- Parameters:
 formulas- a set of formulas.- Returns:
 - a set of formulas.
 
 
 - 
 
 -