Skip to content
Snippets Groups Projects
Commit 88adff8f authored by Samuel Gruetter's avatar Samuel Gruetter
Browse files

don't change RelationProcessor

parent 5992df36
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/termination/RelationProcessor.scala
+ 1
− 2
View file @ 88adff8f
...@@ -24,8 +24,7 @@ class RelationProcessor( ...@@ -24,8 +24,7 @@ class RelationProcessor(
reporter.debug("- Strengthening applications") reporter.debug("- Strengthening applications")
checker.strengthenApplications(problem.funSet)(this) checker.strengthenApplications(problem.funSet)(this)
val formulas: Set[(FunDef, Set[(FunDef, (Expr, Expr))])] = val formulas = problem.funDefs.map({ funDef =>
problem.funDefs.map({ funDef =>
funDef -> checker.getRelations(funDef).collect({ funDef -> checker.getRelations(funDef).collect({
case Relation(_, path, FunctionInvocation(tfd, args), _) if problem.funSet(tfd.fd) => case Relation(_, path, FunctionInvocation(tfd, args), _) if problem.funSet(tfd.fd) =>
val (e1, e2) = (tupleWrap(funDef.params.map(_.toVariable)), tupleWrap(args)) val (e1, e2) = (tupleWrap(funDef.params.map(_.toVariable)), tupleWrap(args))
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment