Package net.sf.tweety.beliefdynamics.selectiverevision

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

  • Type Parameters:
    T - The type of formulas this transformation function works on.
    All Known Implementing Classes:
    ArgumentativeTransformationFunction
    public interface MultipleTransformationFunction<T extends net.sf.tweety.commons.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
      Collection<T> transform​(Collection<T> formulas)
      Transforms the given set of formulas for selective revision.

    • Method Detail

      • 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.