Package net.sf.tweety.beliefdynamics.selectiverevision

Interface TransformationFunction<T extends net.sf.tweety.commons.Formula>

  • Type Parameters:
    T - The type of formulas this transformation function works on.
    public interface TransformationFunction<T extends net.sf.tweety.commons.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.