From 3e48d7baca9b0023f6ef8619e12610292a9ca86d Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Fri, 17 Oct 2014 18:25:54 +0200
Subject: [PATCH] make isGround a public method
---
src/main/scala/leon/purescala/TreeOps.scala | 9 ++++-----
1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index 4bd86173f..6e1a2d041 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -466,16 +466,15 @@ object TreeOps {
fixpoint(postMap(rec))(expr)
}
+ def isGround(e: Expr): Boolean = {
+ variablesOf(e).isEmpty && !containsChoose(e)
+ }
def evalGround(ctx: LeonContext, program: Program): Expr => Expr = {
import evaluators._
val eval = new DefaultEvaluator(ctx, program)
-
- def isGround(e: Expr): Boolean = {
- variablesOf(e).isEmpty && !containsChoose(e)
- }
-
+
def rec(e: Expr): Option[Expr] = e match {
case l: Terminal => None
case e if isGround(e) => eval.eval(e) match {
--
GitLab