From aee5e99bf43bd9102e5f7f39860418020b2e9ef1 Mon Sep 17 00:00:00 2001 From: Marc Glisse Date: Mon, 11 Apr 2011 15:53:32 +0000 Subject: [PATCH] mention Lazy_kernel --- Developers_manual/doc_tex/Developers_manual/kernels.tex | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Developers_manual/doc_tex/Developers_manual/kernels.tex b/Developers_manual/doc_tex/Developers_manual/kernels.tex index 52acddc9f50..4f215134523 100644 --- a/Developers_manual/doc_tex/Developers_manual/kernels.tex +++ b/Developers_manual/doc_tex/Developers_manual/kernels.tex @@ -249,6 +249,12 @@ The difference between \ccc{Filtered_kernel} and functors in the kernel only while the former also affecs the behaviour of predicates that are implemented as global functions. +Another kind of filtering kernel that works with constructions is +\ccc{Lazy_kernel}. Objects contain a DAG that led to their +creation and an approximate version. When the approximation is not +sufficiently precise, an exact value is computed and the DAG is +pruned. + \section{Kernel design and conventions} \ccIndexSubitem{kernel}{design}% \ccIndexSubitem{design}{kernel}%