Package net.sf.tweety.commons

Interface KernelProvider<T extends Formula>

Type Parameters:

T - the type of formulas

All Known Implementing Classes:

AbstractPlReasoner, NaiveQbfReasoner, 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