Package net.sf.tweety.beliefdynamics.selectiverevision

Interface Summary

Interface	Description
MultipleTransformationFunction<T extends Formula>	This interface represents a multiple transformation function for selective revision [Kruempelmann:2011,Ferme:1999].
TransformationFunction<T extends Formula>	This interface represents a transformation function for selective revision [Ferme:1999].

Class Summary

Class	Description
MultipleSelectiveRevisionOperator<T extends Formula>	This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].
SelectiveRevisionOperator<T extends Formula>	This class implements a selective revision operator following [Ferme:1999].