T
- The type of the formulas used by this operator.public class CrMasRevisionWrapper<T extends Formula> extends MultipleBaseRevisionOperator<InformationObject<T>>
Modifier and Type | Field and Description |
---|---|
private MultipleBaseRevisionOperator<T> |
wrappedRevision
The wrapped revision operator.
|
Constructor and Description |
---|
CrMasRevisionWrapper(MultipleBaseRevisionOperator<T> wrappedRevision)
Creates a new revision with the given wrapped revision.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<InformationObject<T>> |
revise(java.util.Collection<InformationObject<T>> base,
java.util.Collection<InformationObject<T>> formulas)
Revises the first collection of formulas by the second collection of formulas.
|
revise
private MultipleBaseRevisionOperator<T extends Formula> wrappedRevision
public CrMasRevisionWrapper(MultipleBaseRevisionOperator<T> wrappedRevision)
wrappedRevision
- some revisionpublic java.util.Collection<InformationObject<T>> revise(java.util.Collection<InformationObject<T>> base, java.util.Collection<InformationObject<T>> formulas)
MultipleBaseRevisionOperator
revise
in class MultipleBaseRevisionOperator<InformationObject<T extends Formula>>
base
- some collection of formulas.formulas
- some formulas.