Interface MultipleTransformationFunction<T extends Formula>
-
- Type Parameters:
T
- The type of formulas this transformation function works on.
- All Known Implementing Classes:
ArgumentativeTransformationFunction
,NaiveLiteralTransformationFunction
,ScepticalLiteralTransformationFunction
public interface MultipleTransformationFunction<T extends Formula>
This interface represents a multiple transformation function for selective revision [Kruempelmann:2011,Ferme:1999].- Author:
- Matthias Thimm