T
- The type of formulas that this operator works on.public class DefaultBaseExpansionOperator<T extends Formula> extends java.lang.Object implements BaseExpansionOperator<T>
Constructor and Description |
---|
DefaultBaseExpansionOperator() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<T> |
expand(java.util.Collection<T> base,
T formula)
Expands the given collection of formulas by the given formula.
|
public java.util.Collection<T> expand(java.util.Collection<T> base, T formula)
BaseExpansionOperator
expand
in interface BaseExpansionOperator<T extends Formula>
base
- some collection of formulas.formula
- a formula