Package org.tweetyproject.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
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 Details

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