Package org.tweetyproject.beliefdynamics
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 Summary
-
Method Summary
Modifier and TypeMethodDescriptionexpand
(Collection<T> base, Collection<T> formulas) Expands the first collection of formulas by the second collection of formulas.Methods inherited from class org.tweetyproject.beliefdynamics.MultipleBaseExpansionOperator
expand
-
Constructor Details
-
DefaultMultipleBaseExpansionOperator
public DefaultMultipleBaseExpansionOperator()
-
-
Method Details
-
expand
Description copied from class:MultipleBaseExpansionOperator
Expands the first collection of formulas by the second collection of formulas.- Specified by:
expand
in classMultipleBaseExpansionOperator<T extends Formula>
- Parameters:
base
- some collection of formulas.formulas
- some formulas.- Returns:
- the expanded collection.
-