From 77f2ffbd30df82f15a5fb3b5fdc5a344f9ab994f Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 24 Sep 2015 14:47:40 +0200
Subject: [PATCH] FunDef.paramIds
---
src/main/scala/leon/purescala/Definitions.scala | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Definitions.scala b/src/main/scala/leon/purescala/Definitions.scala
index 292af0cf8..d24bd0322 100644
--- a/src/main/scala/leon/purescala/Definitions.scala
+++ b/src/main/scala/leon/purescala/Definitions.scala
@@ -454,8 +454,11 @@ object Definitions {
TypedFunDef(this, tparams.map(_.tp))
}
- def qualifiedName(implicit pgm: Program) = DefOps.qualifiedName(this, false)
+ /* Auxilliary methods */
+ def qualifiedName(implicit pgm: Program) = DefOps.qualifiedName(this, false)
+
+ def paramIds = params map { _.id }
}
--
GitLab