public class ArgumentativeRevisionOperator extends MultipleBaseRevisionOperator<PropositionalFormula>
Constructor and Description |
---|
ArgumentativeRevisionOperator() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<PropositionalFormula> |
revise(java.util.Collection<PropositionalFormula> base,
java.util.Collection<PropositionalFormula> formulas)
Revises the first collection of formulas by the second collection of formulas.
|
revise
public java.util.Collection<PropositionalFormula> revise(java.util.Collection<PropositionalFormula> base, java.util.Collection<PropositionalFormula> formulas)
MultipleBaseRevisionOperator
revise
in class MultipleBaseRevisionOperator<PropositionalFormula>
base
- some collection of formulas.formulas
- some formulas.