From 674220040cb353870c68d7823b9a1a545257cc4f Mon Sep 17 00:00:00 2001
From: ostrowsk <ostrowsk@cs.uni-potsdam.de>
Date: Mon, 31 Oct 2016 14:15:01 +0100
Subject: [PATCH] udpate csp.lp file

---
 TODO   | 1 +
 csp.lp | 5 ++++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/TODO b/TODO
index 8cf9023..a6fdd93 100644
--- a/TODO
+++ b/TODO
@@ -1,4 +1,5 @@
 TODO:
+ - make --strict option public
  - print warning if one of the bounds for csp variable could not be determined and is defaulted,
    print name of the variable
  - add test s.isChoice() for transformHeadRules, remove these rules and add :- a, not a.
diff --git a/csp.lp b/csp.lp
index 9d37869..b5b4032 100644
--- a/csp.lp
+++ b/csp.lp
@@ -9,7 +9,10 @@
     dom_term {
     + : 5, unary;
     - : 5, unary;
-    .. : 1, binary, left
+    .. : 1, binary, left;
+    * : 4, binary, left;
+    + : 3, binary, left;
+    - : 3, binary, left
     };
     show_term {
     / : 1, binary, left