Package net.sf.tweety.beliefdynamics
Interface BaseExpansionOperator<T extends 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 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