From 4d2700010a5d7fb21b549daf0777c226555d4807 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 13 Sep 2006 13:10:31 +0000
Subject: [PATCH] checking in example

---
 Robust/src/RepairTest/specs/Example2/Example2.constraints | 1 +
 Robust/src/RepairTest/specs/Example2/Example2.label       | 1 +
 Robust/src/RepairTest/specs/Example2/Example2.model       | 4 ++++
 Robust/src/RepairTest/specs/Example2/Example2.space       | 6 ++++++
 4 files changed, 12 insertions(+)
 create mode 100755 Robust/src/RepairTest/specs/Example2/Example2.constraints
 create mode 100644 Robust/src/RepairTest/specs/Example2/Example2.label
 create mode 100755 Robust/src/RepairTest/specs/Example2/Example2.model
 create mode 100755 Robust/src/RepairTest/specs/Example2/Example2.space

diff --git a/Robust/src/RepairTest/specs/Example2/Example2.constraints b/Robust/src/RepairTest/specs/Example2/Example2.constraints
new file mode 100755
index 00000000..e7f6d25c
--- /dev/null
+++ b/Robust/src/RepairTest/specs/Example2/Example2.constraints
@@ -0,0 +1 @@
+[forall e in Example], e.X > 0;
\ No newline at end of file
diff --git a/Robust/src/RepairTest/specs/Example2/Example2.label b/Robust/src/RepairTest/specs/Example2/Example2.label
new file mode 100644
index 00000000..d9a35afd
--- /dev/null
+++ b/Robust/src/RepairTest/specs/Example2/Example2.label
@@ -0,0 +1 @@
+Example * e;
\ No newline at end of file
diff --git a/Robust/src/RepairTest/specs/Example2/Example2.model b/Robust/src/RepairTest/specs/Example2/Example2.model
new file mode 100755
index 00000000..f6b2b86d
--- /dev/null
+++ b/Robust/src/RepairTest/specs/Example2/Example2.model
@@ -0,0 +1,4 @@
+[], true => e in Example;
+[forall l in Example], true => <l, l.x> in X;
+[forall l in Example], true => <l, l.y> in Y;
+[forall l in Example], true => <l, l.z> in Z;
diff --git a/Robust/src/RepairTest/specs/Example2/Example2.space b/Robust/src/RepairTest/specs/Example2/Example2.space
new file mode 100755
index 00000000..41bdc3b9
--- /dev/null
+++ b/Robust/src/RepairTest/specs/Example2/Example2.space
@@ -0,0 +1,6 @@
+// Space Definition Language File
+
+set Example(Example);
+X: Example -> int;
+Y: Example -> int;
+Z: Example -> int;
-- 
2.34.1