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

Constructors

Constructor	Description
DefaultMultipleBaseExpansionOperator()	Default

Method Summary

Modifier and Type	Method	Description
Collection<T>	expand(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

Methods inherited from class java.lang.Object

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

Constructor Details

DefaultMultipleBaseExpansionOperator

public DefaultMultipleBaseExpansionOperator()

Default

Method Details

expand

public Collection<T> expand(Collection<T> base,
 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.