From 88adff8f019cabb8660f57695166db2fe729aaba Mon Sep 17 00:00:00 2001
From: Samuel Gruetter <samuel.gruetter@epfl.ch>
Date: Wed, 27 May 2015 10:39:11 +0200
Subject: [PATCH] don't change RelationProcessor
---
src/main/scala/leon/termination/RelationProcessor.scala | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/main/scala/leon/termination/RelationProcessor.scala b/src/main/scala/leon/termination/RelationProcessor.scala
index df39e0ad7..d4d1aad73 100644
--- a/src/main/scala/leon/termination/RelationProcessor.scala
+++ b/src/main/scala/leon/termination/RelationProcessor.scala
@@ -24,8 +24,7 @@ class RelationProcessor(
reporter.debug("- Strengthening applications")
checker.strengthenApplications(problem.funSet)(this)
- val formulas: Set[(FunDef, Set[(FunDef, (Expr, Expr))])] =
- problem.funDefs.map({ funDef =>
+ val formulas = problem.funDefs.map({ funDef =>
funDef -> checker.getRelations(funDef).collect({
case Relation(_, path, FunctionInvocation(tfd, args), _) if problem.funSet(tfd.fd) =>
val (e1, e2) = (tupleWrap(funDef.params.map(_.toVariable)), tupleWrap(args))
--
GitLab