CrMasSimpleRevisionOperator

java.lang.Object
- net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<InformationObject<PlFormula>>
- - net.sf.tweety.beliefdynamics.operators.CrMasSimpleRevisionOperator

All Implemented Interfaces:

BaseRevisionOperator<InformationObject<PlFormula>>
```
public class CrMasSimpleRevisionOperator
extends MultipleBaseRevisionOperator<InformationObject<PlFormula>>
```
This revision operator accepts only those pieces of information for revision where the credibility of the source is at least as high as the credibility of the agent which proves the complement. The actual revision is performed using a Levi revision which bases on the random kernel contraction

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

CrMasSimpleRevisionOperator()

Method Summary

Modifier and Type	Method	Description
`java.util.Collection<InformationObject<PlFormula>>`	`revise(java.util.Collection<InformationObject<PlFormula>> base, java.util.Collection<InformationObject<PlFormula>> 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
  - CrMasSimpleRevisionOperator
```
public CrMasSimpleRevisionOperator()
```
- Method Detail
  - revise
```
public java.util.Collection<InformationObject<PlFormula>> revise(java.util.Collection<InformationObject<PlFormula>> base,
                                                                 java.util.Collection<InformationObject<PlFormula>> 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<PlFormula>>
    
    Parameters:
    
    base - some collection of formulas.
    
    formulas - some formulas.
    
    Returns:
    
    the revised collection.