Package org.tweetyproject.beliefdynamics.selectiverevision
package org.tweetyproject.beliefdynamics.selectiverevision
-
ClassDescriptionMultipleSelectiveRevisionOperator<T extends Formula>This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].MultipleTransformationFunction<T extends Formula>This interface represents a multiple transformation function for selective revision [Kruempelmann:2011,Ferme:1999].SelectiveRevisionOperator<T extends Formula>This class implements a selective revision operator following [Ferme:1999].TransformationFunction<T extends Formula>This interface represents a transformation function for selective revision [Ferme:1999].