Package net.sf.tweety.beliefdynamics

Interface BaseExpansionOperator<T extends net.sf.tweety.commons.Formula>

  • Type Parameters:
    T - The type of formulas that this operator works on.
    All Known Implementing Classes:
    DefaultBaseExpansionOperator, DefaultMultipleBaseExpansionOperator, MultipleBaseExpansionOperator
    public interface BaseExpansionOperator<T extends net.sf.tweety.commons.Formula>
    This is the interface for a classic belief base expansion operator, ie. an operator that takes some set of formulas and a single formula and expands the former by the latter.
    Author:
    Matthias Thimm

    • Method Summary

      Modifier and Type Method Description
      Collection<T> expand​(Collection<T> base, T formula)
      Expands the given collection of formulas by the given formula.

    • Method Detail

      • expand

        Collection<T> expand​(Collection<T> base,
                     T formula)
        Expands the given collection of formulas by the given formula.
        Parameters:
        base - some collection of formulas.
        formula - a formula
        Returns:
        the expanded collection.