T
- The type of formulas this operator works on.public class SelectiveRevisionOperator<T extends Formula> extends java.lang.Object implements BaseRevisionOperator<T>
Modifier and Type | Field and Description |
---|---|
private BaseRevisionOperator<T> |
revisionOperator
The revision operator for the inner revision.
|
private TransformationFunction<T> |
transformationFunction
The transformation function for this revision.
|
Constructor and Description |
---|
SelectiveRevisionOperator(TransformationFunction<T> transformationFunction,
BaseRevisionOperator<T> revisionOperator)
Creates a new selective revision operator for the given transformation function
and inner revision.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<T> |
revise(java.util.Collection<T> base,
T formula)
Revises the given collection of formulas by the given formula.
|
private TransformationFunction<T extends Formula> transformationFunction
private BaseRevisionOperator<T extends Formula> revisionOperator
public SelectiveRevisionOperator(TransformationFunction<T> transformationFunction, BaseRevisionOperator<T> revisionOperator)
transformationFunction
- a transformation function.revisionOperator
- the inner revision.public java.util.Collection<T> revise(java.util.Collection<T> base, T formula)
BaseRevisionOperator
revise
in interface BaseRevisionOperator<T extends Formula>
base
- some collection of formulas.formula
- a formula