Class MultipleSelectiveRevisionOperator<T extends Formula>

  • Type Parameters:
    T - The type of formulas this operator works on.
    All Implemented Interfaces:
    BaseRevisionOperator<T>

    public class MultipleSelectiveRevisionOperator<T extends Formula>
    extends MultipleBaseRevisionOperator<T>
    This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].
    Author:
    Matthias Thimm
    • Constructor Detail

      • MultipleSelectiveRevisionOperator

        public MultipleSelectiveRevisionOperator​(MultipleTransformationFunction<T> transformationFunction,
                                                 MultipleBaseRevisionOperator<T> revisionOperator)
        Creates a new multiple selective revision operator for the given transformation function and inner revision.
        Parameters:
        transformationFunction - a transformation function.
        revisionOperator - the inner revision.
    • Method Detail

      • revise

        public java.util.Collection<T> revise​(java.util.Collection<T> base,
                                              java.util.Collection<T> formulas)
        Description copied from class: MultipleBaseRevisionOperator
        Revises the first collection of formulas by the second collection of formulas.
        Specified by:
        revise in class MultipleBaseRevisionOperator<T extends Formula>
        Parameters:
        base - some collection of formulas.
        formulas - some formulas.
        Returns:
        the revised collection.