Package net.sf.tweety.beliefdynamics
Class MultipleBaseExpansionOperator<T extends Formula>
- java.lang.Object
 - 
- net.sf.tweety.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 java.lang.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 Summary
Constructors Constructor Description MultipleBaseExpansionOperator() 
- 
Method Summary
Modifier and Type Method Description abstract java.util.Collection<T>expand(java.util.Collection<T> base, java.util.Collection<T> formulas)Expands the first collection of formulas by the second collection of formulas.java.util.Collection<T>expand(java.util.Collection<T> base, T formula)Expands the given collection of formulas by the given formula. 
 - 
 
- 
- 
Method Detail
- 
expand
public java.util.Collection<T> expand(java.util.Collection<T> base, T formula)
Description copied from interface:BaseExpansionOperatorExpands the given collection of formulas by the given formula.- Specified by:
 expandin interfaceBaseExpansionOperator<T extends Formula>- Parameters:
 base- some collection of formulas.formula- a formula- Returns:
 - the expanded collection.
 
 
- 
expand
public abstract java.util.Collection<T> expand(java.util.Collection<T> base, java.util.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.
 
 
 - 
 
 -