From 614817bf94a432e73db7be2596ca98ddd5dec14d Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sat, 6 Apr 2019 20:07:01 +0100
Subject: [PATCH] trivial example

---
 reactics-bdd/in/trivial.rs | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 reactics-bdd/in/trivial.rs

diff --git a/reactics-bdd/in/trivial.rs b/reactics-bdd/in/trivial.rs
new file mode 100644
index 0000000..ade9563
--- /dev/null
+++ b/reactics-bdd/in/trivial.rs
@@ -0,0 +1,22 @@
+options { use-context-automaton; };
+
+reactions {
+    m {
+        {{e1,e4},{e2} -> {e1,e2}}; 
+        {{e2},{e4} -> {e1,e3,e4}}; 
+	{{e1,e3},{e2} -> {e1,e2}};
+	{{e3},{e2} -> {e1}};
+    };
+
+};
+
+context-automaton {
+	states { s0, s1 };
+    init-state { s0 };
+	transitions {
+		{ m={e1,e4} }: s0 -> s1;
+		{ m={} }: s1 -> s1;
+		{ m={e4} }: s1 -> s1;
+	};
+};
+