From 61f90f14af8796bbed074538882e76f1e1bf3333 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Fri, 25 May 2012 13:24:37 +1000
Subject: Try to make some more modular Fixpoint algorithms.

---
 impl/systems/size-ten | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 impl/systems/size-ten

(limited to 'impl/systems/size-ten')

diff --git a/impl/systems/size-ten b/impl/systems/size-ten
new file mode 100644
index 0000000..71ee74a
--- /dev/null
+++ b/impl/systems/size-ten
@@ -0,0 +1,3 @@
+x1 = max(0, min(x1-1, x2))
+x2 = max(0, 5+x1, x1)
+x3 = max(0, 1+x3, 0+x1)
-- 
cgit v1.2.3