Class DefaultBaseExpansionOperator<T extends Formula>

java.lang.Object
org.tweetyproject.beliefdynamics.DefaultBaseExpansionOperator<T>
Type Parameters:
T - The type of formulas that this operator works on.
All Implemented Interfaces:
BaseExpansionOperator<T>

public class DefaultBaseExpansionOperator<T extends Formula> extends Object implements BaseExpansionOperator<T>
This class implements the default base expansion operator, ie. an operator that returns the union of a set of formulas and a formula.
Author:
Matthias Thimm