net.sf.tweety.beliefdynamics

Class DefaultBaseExpansionOperator<T extends net.sf.tweety.commons.Formula>

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 net.sf.tweety.commons.Formula>
extends 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 and Description
DefaultBaseExpansionOperator()

Method Summary

Modifier and Type	Method and Description
Collection<T>	expand(Collection<T> base, T formula) Expands the given collection of formulas by the given formula.

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultBaseExpansionOperator

public DefaultBaseExpansionOperator()

Method Detail

expand

public Collection<T> expand(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 net.sf.tweety.commons.Formula>

Parameters:

base - some collection of formulas.

formula - a formula

Returns:

the expanded collection.