Package net.sf.tweety.beliefdynamics
Interface BaseContractionOperator<T extends Formula>
-
- Type Parameters:
T
- The type of formulas that this operator works on.
- All Known Implementing Classes:
KernelContractionOperator
,MultipleBaseContractionOperator
,RandomKernelContractionOperator
public interface BaseContractionOperator<T extends Formula>
This is the interface for a classic belief base contraction operator, ie. an operator that takes some set of formulas and a single formula and contracts the former by the latter.- Author:
- Matthias Thimm