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 and 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