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