Package org.tweetyproject.beliefdynamics

Class MultipleBaseExpansionOperator<T extends Formula>

java.lang.Object
org.tweetyproject.beliefdynamics.MultipleBaseExpansionOperator<T>
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 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 Details

    • MultipleBaseExpansionOperator

      public MultipleBaseExpansionOperator()

  • Method Details

    • 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 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.