From ec8e9bec19a93059e7ba27e83baec12b03ca0372 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 22 Jun 2010 13:22:42 +0000
Subject: [PATCH]
---
src/orderedsets/Main.scala | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/orderedsets/Main.scala b/src/orderedsets/Main.scala
index 7cc8895a8..560245434 100644
--- a/src/orderedsets/Main.scala
+++ b/src/orderedsets/Main.scala
@@ -7,6 +7,9 @@ import purescala.Trees._
class Main(reporter: Reporter) extends Solver(reporter) {
val description = "Solver for constraints on ordered sets"
+ // checks for V-A-L-I-D-I-T-Y !
+ // Some(true) means formula is valid (negation is unsat)
+ // None means you don't know.
def solve(expr: Expr) : Option[Boolean] = {
reporter.info(expr, "I have no idea how to solve this :(")
None
--
GitLab