T
- the type of formulas this operators works on.public class LeviMultipleBaseRevisionOperator<T extends ClassicalFormula> extends MultipleBaseRevisionOperator<T>
Modifier and Type | Field and Description |
---|---|
private BaseContractionOperator<T> |
contraction
The contraction operator of this Levi revision.
|
private MultipleBaseExpansionOperator<T> |
expansion
The expansion operator of this Levi revision.
|
Constructor and Description |
---|
LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T> contraction,
MultipleBaseExpansionOperator<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,
java.util.Collection<T> formulas)
Revises the first collection of formulas by the second collection of formulas.
|
revise
private BaseContractionOperator<T extends ClassicalFormula> contraction
private MultipleBaseExpansionOperator<T extends ClassicalFormula> expansion
public LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T> contraction, MultipleBaseExpansionOperator<T> expansion)
contraction
- some contraction operator.expansion
- some expansion operator.public java.util.Collection<T> revise(java.util.Collection<T> base, java.util.Collection<T> formulas)
MultipleBaseRevisionOperator
revise
in class MultipleBaseRevisionOperator<T extends ClassicalFormula>
base
- some collection of formulas.formulas
- some formulas.