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