Package net.sf.tweety.commons

Interface KernelProvider<T extends Formula>

  • Type Parameters:
    T - the type of formulas
    All Known Implementing Classes:
    AbstractPlReasoner, SatReasoner, SimplePlReasoner
    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
      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.

    • Method Detail

      • getKernels

        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.
        Parameters:
        formulas - a set of formulas.
        formula - a formula.
        Returns:
        the collection of kernels