T
- the type of formulas this operators works on.public class LeviBaseRevisionOperator<T extends ClassicalFormula> extends java.lang.Object implements BaseRevisionOperator<T>
Modifier and Type | Field and Description |
---|---|
private BaseContractionOperator<T> |
contraction
The contraction operator of this Levi revision.
|
private BaseExpansionOperator<T> |
expansion
The expansion operator of this Levi revision.
|
Constructor and Description |
---|
LeviBaseRevisionOperator(BaseContractionOperator<T> contraction,
BaseExpansionOperator<T> expansion)
Creates a new Levi base revision with the given contraction and expansion operators.
|
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 BaseContractionOperator<T extends ClassicalFormula> contraction
private BaseExpansionOperator<T extends ClassicalFormula> expansion
public LeviBaseRevisionOperator(BaseContractionOperator<T> contraction, BaseExpansionOperator<T> expansion)
contraction
- some contraction operator.expansion
- some expansion operator.public java.util.Collection<T> revise(java.util.Collection<T> base, T formula)
BaseRevisionOperator
revise
in interface BaseRevisionOperator<T extends ClassicalFormula>
base
- some collection of formulas.formula
- a formula