Package org.tweetyproject.beliefdynamics

Interface BaseExpansionOperator<T extends Formula>

Type Parameters:

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

All Known Implementing Classes:

DefaultBaseExpansionOperator, DefaultMultipleBaseExpansionOperator, MultipleBaseExpansionOperator

public interface BaseExpansionOperator<T extends Formula>

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

Author:

Matthias Thimm

Method Summary

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

Method Details

expand

Collection<T> expand(Collection<T> base,
 T formula)

Expands the given collection of formulas by the given formula.

Parameters:

base - some collection of formulas.

formula - a formula

Returns:

the expanded collection.