Class MultipleSelectiveRevisionOperator<T extends Formula>
java.lang.Object
org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<T>
org.tweetyproject.beliefdynamics.selectiverevision.MultipleSelectiveRevisionOperator<T>
- Type Parameters:
T
- The type of formulas this operator works on.
- All Implemented Interfaces:
BaseRevisionOperator<T>
public class MultipleSelectiveRevisionOperator<T extends Formula>
extends MultipleBaseRevisionOperator<T>
This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionMultipleSelectiveRevisionOperator
(MultipleTransformationFunction<T> transformationFunction, MultipleBaseRevisionOperator<T> revisionOperator) Creates a new multiple selective revision operator for the given transformation function and inner revision. -
Method Summary
Modifier and TypeMethodDescriptionrevise
(Collection<T> base, Collection<T> formulas) Revises the first collection of formulas by the second collection of formulas.Methods inherited from class org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator
revise
-
Constructor Details
-
MultipleSelectiveRevisionOperator
public MultipleSelectiveRevisionOperator(MultipleTransformationFunction<T> transformationFunction, MultipleBaseRevisionOperator<T> revisionOperator) Creates a new multiple selective revision operator for the given transformation function and inner revision.- Parameters:
transformationFunction
- a transformation function.revisionOperator
- the inner revision.
-
-
Method Details
-
revise
Description copied from class:MultipleBaseRevisionOperator
Revises the first collection of formulas by the second collection of formulas.- Specified by:
revise
in classMultipleBaseRevisionOperator<T extends Formula>
- Parameters:
base
- some collection of formulas.formulas
- some formulas.- Returns:
- the revised collection.
-