Package net.sf.tweety.beliefdynamics.selectiverevision

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

java.lang.Object

net.sf.tweety.beliefdynamics.selectiverevision.SelectiveRevisionOperator<T>

Type Parameters:

T - The type of formulas this operator works on.

All Implemented Interfaces:

BaseRevisionOperator<T>

public class SelectiveRevisionOperator<T extends net.sf.tweety.commons.Formula>
extends Object
implements BaseRevisionOperator<T>

This class implements a selective revision operator following [Ferme:1999].

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
SelectiveRevisionOperator(TransformationFunction<T> transformationFunction, BaseRevisionOperator<T> revisionOperator)	Creates a new selective revision operator for the given transformation function and inner revision.

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

SelectiveRevisionOperator

public SelectiveRevisionOperator(TransformationFunction<T> transformationFunction,
                                 BaseRevisionOperator<T> revisionOperator)

Creates a new selective revision operator for the given transformation function and inner revision.

Parameters:

transformationFunction - a transformation function.

revisionOperator - the inner revision.

Method Detail

revise

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

Description copied from interface: BaseRevisionOperator

Revises the given collection of formulas by the given formula.

Specified by:

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

Parameters:

base - some collection of formulas.

formula - a formula

Returns:

the revised collection.