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