Package net.sf.tweety.beliefdynamics

Interface BaseRevisionOperator<T extends net.sf.tweety.commons.Formula>

Type Parameters:

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

All Known Implementing Classes:

ArgumentativeRevisionOperator, CredibilityRevision, CredibilityRevisionIterative, CredibilityRevisionNonIterative, CrMasArgumentativeRevisionOperator, CrMasRevisionWrapper, CrMasSimpleRevisionOperator, LeviBaseRevisionOperator, LeviMultipleBaseRevisionOperator, MultipleBaseRevisionOperator, MultipleSelectiveRevisionOperator, SelectiveRevisionOperator

public interface BaseRevisionOperator<T extends net.sf.tweety.commons.Formula>

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

Author:

Matthias Thimm

Method Summary

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

Method Detail

revise

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

Revises the given collection of formulas by the given formula.

Parameters:

base - some collection of formulas.

formula - a formula

Returns:

the revised collection.