Package org.tweetyproject.beliefdynamics.mas

Class CrMasRevisionWrapper<T extends Formula>

java.lang.Object

org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<InformationObject<T>>

org.tweetyproject.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
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 org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator

revise

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CrMasRevisionWrapper

public CrMasRevisionWrapper(MultipleBaseRevisionOperator<T> wrappedRevision)

Creates a new revision with the given wrapped revision.

Parameters:

wrappedRevision - some revision

Method Details

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

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the revised collection.