T
- The type of formulas that this operator works on.public interface BaseRevisionOperator<T extends Formula>
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.
|