From c459e0c7b77351a5545f7cd4c3e6c2362a969a66 Mon Sep 17 00:00:00 2001
From: someone <jan@jvales.net>
Date: Tue, 5 Jun 2012 22:03:22 +0200
Subject: [PATCH] constraints + observed fault.

---
 constraints.dl |  7 +++++++
 fault.obs      | 11 +++++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 constraints.dl
 create mode 100644 fault.obs

diff --git a/constraints.dl b/constraints.dl
new file mode 100644
index 0000000..d198319
--- /dev/null
+++ b/constraints.dl
@@ -0,0 +1,7 @@
+%constraints
+
+:- c(C,O,X), c(C,O,Y), X < Y.
+:- p(C,O,X), p(C,O,Y), X < Y.
+:- out_c(O,X), out_c(O,Y), X < Y.
+:- out_p(O,X), out_p(O,Y), X < Y.
+
diff --git a/fault.obs b/fault.obs
new file mode 100644
index 0000000..7524c38
--- /dev/null
+++ b/fault.obs
@@ -0,0 +1,11 @@
+%observed fault
+%control
+in_c(s_storage,half_full).
+in_c(s_wind,20).
+in_c(l_current,10).
+in_c(l_demand,55).
+
+%switching
+in_p(p_in,10).
+out_p(p_out,50).
+
-- 
2.43.0