From 2633b15714c66d0c206ea0f58339cb60e3435cdf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ali=20Sinan=20K=C3=B6ksal?= <alisinan@gmail.com>
Date: Mon, 1 Aug 2011 21:55:06 +0000
Subject: [PATCH] basic product example
---
cp-demo/Product.scala | 12 ++++++++++++
1 file changed, 12 insertions(+)
create mode 100644 cp-demo/Product.scala
diff --git a/cp-demo/Product.scala b/cp-demo/Product.scala
new file mode 100644
index 000000000..74b3d7980
--- /dev/null
+++ b/cp-demo/Product.scala
@@ -0,0 +1,12 @@
+import cp.Definitions._
+import cp.Terms._
+
+object Product {
+ def main(args: Array[String]): Unit = {
+ val c1 = ((x: Int) => x > 5).c
+ val c2 = ((x: Int) => x > 41).c
+
+ val c3 = c1 product1 c2
+ println(c3.solve)
+ }
+}
--
GitLab