net.sf.tweety.beliefdynamics.selectiverevision

Class SelectiveRevisionOperator<T extends 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 Formula>
extends java.lang.Object
implements BaseRevisionOperator<T>

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

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private BaseRevisionOperator<T>	revisionOperator The revision operator for the inner revision.
private TransformationFunction<T>	transformationFunction The transformation function for this revision.

Constructor Summary

Constructors

Constructor and 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 and Description
java.util.Collection<T>	revise(java.util.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

Field Detail

transformationFunction

private TransformationFunction<T extends Formula> transformationFunction

The transformation function for this revision.

revisionOperator

private BaseRevisionOperator<T extends Formula> revisionOperator

The revision operator for the inner revision.

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 java.util.Collection<T> revise(java.util.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 Formula>

Parameters:

base - some collection of formulas.

formula - a formula

Returns:

the revised collection.