net.sf.tweety.beliefdynamics.selectiverevision

Class MultipleSelectiveRevisionOperator<T extends Formula>

java.lang.Object

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

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

Type Parameters:

T - The type of formulas this operator works on.

All Implemented Interfaces:

BaseRevisionOperator<T>

public class MultipleSelectiveRevisionOperator<T extends Formula>
extends MultipleBaseRevisionOperator<T>

This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].

Author:

Matthias Thimm

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
MultipleSelectiveRevisionOperator(MultipleTransformationFunction<T> transformationFunction, MultipleBaseRevisionOperator<T> revisionOperator) Creates a new multiple 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, java.util.Collection<T> formulas) Revises the first collection of formulas by the second collection of formulas.

Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator

revise

Methods inherited from class java.lang.Object

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

Field Detail

transformationFunction

private MultipleTransformationFunction<T extends Formula> transformationFunction

The transformation function for this revision.

revisionOperator

private MultipleBaseRevisionOperator<T extends Formula> revisionOperator

The revision operator for the inner revision.

Constructor Detail

MultipleSelectiveRevisionOperator

public MultipleSelectiveRevisionOperator(MultipleTransformationFunction<T> transformationFunction,
                                         MultipleBaseRevisionOperator<T> revisionOperator)

Creates a new multiple 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,
                                      java.util.Collection<T> formulas)

Description copied from class: MultipleBaseRevisionOperator

Revises the first collection of formulas by the second collection of formulas.

Specified by:

revise in class MultipleBaseRevisionOperator<T extends Formula>

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the revised collection.