Interface MultipleTransformationFunction<T extends Formula>

    • Method Summary

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

      • transform

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