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