Interface TransformationFunction<T extends Formula>
- Type Parameters:
T
- The type of formulas this transformation function works on.
public interface TransformationFunction<T extends Formula>
This interface represents a transformation function for selective revision [Ferme:1999].
- Author:
- Matthias Thimm
-
Method Summary
-
Method Details
-
transform
-