CrMasRevisionWrapper

java.lang.Object
- net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<InformationObject<T>>
- - net.sf.tweety.beliefdynamics.mas.CrMasRevisionWrapper<T>

Type Parameters:

T - The type of the formulas used by this operator.

All Implemented Interfaces:

BaseRevisionOperator<InformationObject<T>>
```
public class CrMasRevisionWrapper<T extends Formula>
extends MultipleBaseRevisionOperator<InformationObject<T>>
```
This class is a wrapper for a revision for formulas of type T that is used to revise information objects. On revision, the information of the sources is ignored
For example: If {A1:F1,...,AN:FN} * {B1:G1,...,BM:GM} is issued to this class then the result is {C1:H1,...,CK:HK} given that {F1,...,FN} *' {G1,...,GM} = {H1,...,HK} with *' being the wrapped revision.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

CrMasRevisionWrapper(MultipleBaseRevisionOperator<T> wrappedRevision)
Creates a new revision with the given wrapped revision.

Method Summary

Modifier and Type	Method	Description
`java.util.Collection<InformationObject<T>>`	`revise(java.util.Collection<InformationObject<T>> base, java.util.Collection<InformationObject<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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - CrMasRevisionWrapper
```
public CrMasRevisionWrapper(MultipleBaseRevisionOperator<T> wrappedRevision)
```
    Creates a new revision with the given wrapped revision.
    
    Parameters:
    
    wrappedRevision - some revision
- Method Detail
  - revise
```
public java.util.Collection<InformationObject<T>> revise(java.util.Collection<InformationObject<T>> base,
                                                         java.util.Collection<InformationObject<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<InformationObject<T extends Formula>>
    
    Parameters:
    
    base - some collection of formulas.
    
    formulas - some formulas.
    
    Returns:
    
    the revised collection.