From 042ce3b909b7e9fb72eda5ad3a0292e1798af171 Mon Sep 17 00:00:00 2001 From: Nicolas Voirol <voirol.nicolas@gmail.com> Date: Tue, 15 Nov 2016 16:49:32 +0100 Subject: [PATCH] Removed outdated code --- .../scala/inox/solvers/unrolling/DatatypeTemplates.scala | 9 --------- 1 file changed, 9 deletions(-) diff --git a/src/main/scala/inox/solvers/unrolling/DatatypeTemplates.scala b/src/main/scala/inox/solvers/unrolling/DatatypeTemplates.scala index 31b3739d0..c19a2bfa7 100644 --- a/src/main/scala/inox/solvers/unrolling/DatatypeTemplates.scala +++ b/src/main/scala/inox/solvers/unrolling/DatatypeTemplates.scala @@ -394,15 +394,6 @@ trait DatatypeTemplates { self: Templates => protected def unrollType(tpe: Type): Boolean = false } - /** Template generator that combines ADT unrolling and function accumulation. - * - * See [[$CaptureTemplate]] and [[$DatatypeTemplate]] for concrete examples. */ - /*protected trait FullTemplateGenerator - extends TemplateGenerator - with FunctionUnrolling - with ADTUnrolling - with CachedUnrolling*/ - /** Template generator that generates clauses for ADT invariant assertion. */ protected trait InvariantGenerator extends TemplateGenerator -- GitLab