DefaultBaseExpansionOperator

java.lang.Object
- net.sf.tweety.beliefdynamics.DefaultBaseExpansionOperator<T>

Type Parameters:

T - The type of formulas that this operator works on.

All Implemented Interfaces:

BaseExpansionOperator<T>
```
public class DefaultBaseExpansionOperator<T extends Formula>
extends java.lang.Object
implements BaseExpansionOperator<T>
```
This class implements the default base expansion operator, ie. an operator that returns the union of a set of formulas and a formula.

Author:

Matthias Thimm

- Constructor Summary
  
  Constructors
  Constructor Description
  
  DefaultBaseExpansionOperator()
- Method Summary
  
  Modifier and Type Method Description
  
  java.util.Collection<T> expand(java.util.Collection<T> base, T formula)
  Expands the given collection of formulas by the given formula.
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - DefaultBaseExpansionOperator
```
public DefaultBaseExpansionOperator()
```
- Method Detail
  - expand
```
public java.util.Collection<T> expand(java.util.Collection<T> base,
                                      T formula)
```
    Description copied from interface: BaseExpansionOperator
    
    Expands the given collection of formulas by the given formula.
    
    Specified by:
    
    expand in interface BaseExpansionOperator<T extends Formula>
    
    Parameters:
    
    base - some collection of formulas.
    
    formula - a formula
    
    Returns:
    
    the expanded collection.