Class SelectiveRevisionOperator<T extends Formula>

java.lang.Object
org.tweetyproject.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 Object implements BaseRevisionOperator<T>
This class implements a selective revision operator following [Ferme:1999].
Author:
Matthias Thimm
  • Constructor Details

    • 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 Details