T - The type of formulas that this operator works on.public class DefaultBaseExpansionOperator<T extends net.sf.tweety.commons.Formula> extends Object implements BaseExpansionOperator<T>
| Constructor and Description |
|---|
DefaultBaseExpansionOperator() |
| Modifier and Type | Method and Description |
|---|---|
Collection<T> |
expand(Collection<T> base,
T formula)
Expands the given collection of formulas by the given formula.
|
public Collection<T> expand(Collection<T> base, T formula)
BaseExpansionOperatorexpand in interface BaseExpansionOperator<T extends net.sf.tweety.commons.Formula>base - some collection of formulas.formula - a formulaCopyright © 2018. All rights reserved.