Class LeviMultipleBaseRevisionOperator<T extends ClassicalFormula>

java.lang.Object
org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<T>
org.tweetyproject.beliefdynamics.LeviMultipleBaseRevisionOperator<T>
Type Parameters:
T - the type of formulas this operators works on.
All Implemented Interfaces:
BaseRevisionOperator<T>

public class LeviMultipleBaseRevisionOperator<T extends ClassicalFormula> extends MultipleBaseRevisionOperator<T>
This class implements the Levi identity for multiple revision, ie. an revision that is composed of the contraction with the negated set of formulas and then expansion with those formulas.
Author:
Matthias Thimm