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

    Modifier and Type
    Method
    Description
    transform(T formula)
    Transforms the given formula for selective revision.
  • Method Details

    • transform

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