net.sf.tweety.beliefdynamics.mas

Class CrMasRevisionWrapper<T extends net.sf.tweety.commons.Formula>

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 net.sf.tweety.commons.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 and Description
CrMasRevisionWrapper(MultipleBaseRevisionOperator<T> wrappedRevision) Creates a new revision with the given wrapped revision.

Method Summary

Modifier and Type	Method and Description
Collection<InformationObject<T>>	revise(Collection<InformationObject<T>> base, 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

clone, equals, finalize, 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 Collection<InformationObject<T>> revise(Collection<InformationObject<T>> base,
                                               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 net.sf.tweety.commons.Formula>>

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the revised collection.