net.sf.tweety.beliefdynamics

Class DefaultMultipleBaseExpansionOperator<T extends Formula>

java.lang.Object

net.sf.tweety.beliefdynamics.MultipleBaseExpansionOperator<T>

net.sf.tweety.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

Constructors

Constructor and Description
DefaultMultipleBaseExpansionOperator()

Method Summary

Modifier and Type	Method and Description
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.

Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseExpansionOperator

expand

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultMultipleBaseExpansionOperator

public DefaultMultipleBaseExpansionOperator()

Method Detail

expand

public java.util.Collection<T> expand(java.util.Collection<T> base,
                                      java.util.Collection<T> formulas)

Description copied from class: MultipleBaseExpansionOperator

Expands the first collection of formulas by the second collection of formulas.

Specified by:

expand in class MultipleBaseExpansionOperator<T extends Formula>

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the expanded collection.