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
  • Method Summary

    Modifier and Type
    Method
    Description
    transform(Collection<T> formulas)
    Transforms the given set of formulas for selective revision.
  • Method Details

    • transform

      Collection<T> transform(Collection<T> formulas)
      Transforms the given set of formulas for selective revision.
      Parameters:
      formulas - a set of formulas.
      Returns:
      a set of formulas.