MultipleBaseRevisionOperator

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

Type Parameters:

T - The type of formulas that this operator works on.

All Implemented Interfaces:

BaseRevisionOperator<T>

Direct Known Subclasses:

ArgumentativeRevisionOperator, CredibilityRevision, CrMasArgumentativeRevisionOperator, CrMasRevisionWrapper, CrMasSimpleRevisionOperator, ELPBaseRevisionOperator, LeviMultipleBaseRevisionOperator, MultipleSelectiveRevisionOperator, ParameterisedArgumentativeSelectiveRevisionOperator
```
public abstract class MultipleBaseRevisionOperator<T extends Formula>
extends java.lang.Object
implements BaseRevisionOperator<T>
```
This is the interface for a classic multiple belief base revision operator, ie. an operator that takes some set of formulas and another set of formulas and revises the former by the latter.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

MultipleBaseRevisionOperator()

Method Summary

Modifier and Type	Method	Description
`abstract 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.
`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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - MultipleBaseRevisionOperator
```
public MultipleBaseRevisionOperator()
```
- 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.
  - revise
```
public abstract 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.
    
    Parameters:
    
    base - some collection of formulas.
    
    formulas - some formulas.
    
    Returns:
    
    the revised collection.