MultipleSelectiveRevisionOperator

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	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	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	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.