From fb058a2d8e606dfdc5cb13b91a93d8468580a2f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ali=20Sinan=20K=C3=B6ksal?= <alisinan@gmail.com>
Date: Fri, 8 Jul 2011 13:18:00 +0000
Subject: [PATCH] example demonstrating the "single value" semantics of L
variables
---
cp-demo/Assuming.scala | 14 ++++++++++++++
1 file changed, 14 insertions(+)
create mode 100644 cp-demo/Assuming.scala
diff --git a/cp-demo/Assuming.scala b/cp-demo/Assuming.scala
new file mode 100644
index 000000000..75bb2631e
--- /dev/null
+++ b/cp-demo/Assuming.scala
@@ -0,0 +1,14 @@
+import cp.Definitions._
+
+object Assuming {
+ def main(args: Array[String]): Unit = {
+ for (x <- ((x: Int) => x >= 0 && x < 4).lazyFindAll) {
+ for (b <- ((b: Boolean) => b && x <= 1).lazyFindAll) {
+ println("hey!")
+ }
+ for (b <- ((b: Boolean) => b && x > 1).lazyFindAll) {
+ println("ho!")
+ }
+ }
+ }
+}
--
GitLab