T
- The type of formulas this consolidation operator works on.public interface ConsolidationOperator<T extends Formula>
Modifier and Type | Method and Description |
---|---|
java.util.Collection<T> |
consolidate(java.util.Collection<T> p)
Returns a consolidation of set p, i.e.
|