Class DefaultMultipleBaseExpansionOperator<T extends Formula>

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

    • DefaultMultipleBaseExpansionOperator

      public DefaultMultipleBaseExpansionOperator()
  • Method Details