Package net.sf.tweety.commons

Interface KernelProvider<T extends Formula>

  • Type Parameters:
    T - the type of formulas
    public interface KernelProvider<T extends Formula>
    Classes implementing this interface are able to provide kernels (=minimal proofs).
    Author:
    Matthias Thimm

    • Method Summary

      Modifier and Type Method Description
      Collection<Collection<T>> getKernels​(Collection<T> formulas, T formula)
      Retrieves the set of kernels for the given formula from the given set of formulas.

    • Method Detail

      • getKernels

        Collection<Collection<T>> getKernels​(Collection<T> formulas,
                                     T formula)
        Retrieves the set of kernels for the given formula from the given set of formulas.
        Parameters:
        formulas - a set of formulas.
        formula - a formula.
        Returns:
        the collection of kernels