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