Class MultipleBaseExpansionOperator<T extends net.sf.tweety.commons.Formula>

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

    public abstract class MultipleBaseExpansionOperator<T extends net.sf.tweety.commons.Formula>
    extends Object
    implements BaseExpansionOperator<T>
    This is the interface for a classic multiple belief base expansion operator, ie. an operator that takes some set of formulas and another set of formulas and expands the former by the latter.
    Author:
    Matthias Thimm
    • Constructor Detail

      • MultipleBaseExpansionOperator

        public MultipleBaseExpansionOperator()
    • Method Detail

      • expand

        public Collection<T> expand​(Collection<T> base,
                                    T formula)
        Description copied from interface: BaseExpansionOperator
        Expands the given collection of formulas by the given formula.
        Specified by:
        expand in interface BaseExpansionOperator<T extends net.sf.tweety.commons.Formula>
        Parameters:
        base - some collection of formulas.
        formula - a formula
        Returns:
        the expanded collection.
      • expand

        public abstract Collection<T> expand​(Collection<T> base,
                                             Collection<T> formulas)
        Expands the first collection of formulas by the second collection of formulas.
        Parameters:
        base - some collection of formulas.
        formulas - some formulas.
        Returns:
        the expanded collection.