net.sf.tweety.beliefdynamics

Class MultipleBaseExpansionOperator<T extends Formula>

java.lang.Object

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

Type Parameters:

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

All Implemented Interfaces:

BaseExpansionOperator<T>

Direct Known Subclasses:

DefaultMultipleBaseExpansionOperator

public abstract class MultipleBaseExpansionOperator<T extends Formula>
extends java.lang.Object
implements BaseExpansionOperator<T>

This is the interface for a classic multiple belief base expansion operator, ie. an operator that takes some set of formulas and another set of formulas and expands the former by the latter.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
MultipleBaseExpansionOperator()

Method Summary

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

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

Constructor Detail

MultipleBaseExpansionOperator

public MultipleBaseExpansionOperator()

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.

expand

public abstract 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.

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the expanded collection.