Class SelectiveRevisionOperator<T extends Formula>
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.selectiverevision.SelectiveRevisionOperator<T>
-
- Type Parameters:
T
- The type of formulas this operator works on.
- All Implemented Interfaces:
BaseRevisionOperator<T>
public class SelectiveRevisionOperator<T extends Formula> extends java.lang.Object implements BaseRevisionOperator<T>
This class implements a selective revision operator following [Ferme:1999].- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description SelectiveRevisionOperator(TransformationFunction<T> transformationFunction, BaseRevisionOperator<T> revisionOperator)
Creates a new selective revision operator for the given transformation function and inner revision.
-
-
-
Constructor Detail
-
SelectiveRevisionOperator
public SelectiveRevisionOperator(TransformationFunction<T> transformationFunction, BaseRevisionOperator<T> revisionOperator)
Creates a new selective revision operator for the given transformation function and inner revision.- Parameters:
transformationFunction
- a transformation function.revisionOperator
- the inner revision.
-
-
Method Detail
-
revise
public java.util.Collection<T> revise(java.util.Collection<T> base, T formula)
Description copied from interface:BaseRevisionOperator
Revises the given collection of formulas by the given formula.- Specified by:
revise
in interfaceBaseRevisionOperator<T extends Formula>
- Parameters:
base
- some collection of formulas.formula
- a formula- Returns:
- the revised collection.
-
-