Class DefaultMultipleBaseExpansionOperator<T extends Formula>

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

    public class DefaultMultipleBaseExpansionOperator<T extends Formula>
    extends MultipleBaseExpansionOperator<T>
    This class implements the default multiple base expansion operator, ie. an operator that returns the union of the sets of formulas
    Author:
    Matthias Thimm
    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<T> expand​(java.util.Collection<T> base, java.util.Collection<T> formulas)
      Expands the first collection of formulas by the second collection of formulas.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • DefaultMultipleBaseExpansionOperator

        public DefaultMultipleBaseExpansionOperator()
    • Method Detail

      • expand

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