Interface BaseRevisionOperator<T extends Formula>

    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<T> revise​(java.util.Collection<T> base, T formula)
      Revises the given collection of formulas by the given formula.
    • Method Detail

      • revise

        java.util.Collection<T> revise​(java.util.Collection<T> base,
                                       T formula)
        Revises the given collection of formulas by the given formula.
        Parameters:
        base - some collection of formulas.
        formula - a formula
        Returns:
        the revised collection.