T
- the type of formulaspublic interface KernelProvider<T extends Formula>
Modifier and Type | Method and Description |
---|---|
java.util.Collection<java.util.Collection<T>> |
getKernels(java.util.Collection<T> formulas,
T formula)
Retrieves the set of kernels for the given formula
from the given set of formulas.
|