From d85c97c188b037dca60f9f9e1034984444db3bf0 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 19 Mar 2015 15:08:53 +0100
Subject: [PATCH] groupWhile is no longer used
---
.../solvers/templates/TemplateGenerator.scala | 23 -------------------
1 file changed, 23 deletions(-)
diff --git a/src/main/scala/leon/solvers/templates/TemplateGenerator.scala b/src/main/scala/leon/solvers/templates/TemplateGenerator.scala
index f44ec5b1a..77f3e58fc 100644
--- a/src/main/scala/leon/solvers/templates/TemplateGenerator.scala
+++ b/src/main/scala/leon/solvers/templates/TemplateGenerator.scala
@@ -153,29 +153,6 @@ class TemplateGenerator[T](val encoder: TemplateEncoder[T]) {
var lambdas = Map[T, LambdaTemplate[T]]()
@inline def registerLambda(idT: T, lambda: LambdaTemplate[T]) : Unit = lambdas += idT -> lambda
- // Group elements that satisfy p toghether
- // List(a, a, a, b, c, a, a), with p = _ == a will produce:
- // List(List(a,a,a), List(b), List(c), List(a, a))
- def groupWhile(p: T => Boolean, l: Seq[T]): Seq[Seq[T]] = {
- var res: Seq[Seq[T]] = Nil
-
- var c = l
-
- while(c.nonEmpty) {
- val (span, rest) = c.span(p)
-
- if (span.isEmpty) {
- res = res :+ Seq(rest.head)
- c = rest.tail
- } else {
- res = res :+ span
- c = rest
- }
- }
-
- res
- }
-
def requireDecomposition(e: Expr) = {
exists{
case (_: FunctionInvocation) | (_: Assert) | (_: Ensuring) | (_: Choose) | (_: Application) => true
--
GitLab