T
- The type of formulas that this operator works on.public abstract class MultipleBaseRevisionOperator<T extends Formula> extends java.lang.Object implements BaseRevisionOperator<T>
Constructor and Description |
---|
MultipleBaseRevisionOperator() |
Modifier and Type | Method and Description |
---|---|
abstract 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.
|
java.util.Collection<T> |
revise(java.util.Collection<T> base,
T formula)
Revises the given collection of formulas by the given formula.
|
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 formulapublic abstract java.util.Collection<T> revise(java.util.Collection<T> base, java.util.Collection<T> formulas)
base
- some collection of formulas.formulas
- some formulas.