TransformationFunction

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
  
  Modifier and Type Method Description
  
  T transform(T formula)
  Transforms the given formula for selective revision.

- Method Detail
  - transform
```
T transform(T formula)
```
    Transforms the given formula for selective revision.
    
    Parameters:
    
    formula - some formula.
    
    Returns:
    
    a formula.