From 835c7b898c14878e32f4d14676fb63c8ccd3414b Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 22 Sep 2019 18:26:42 +0100
Subject: [PATCH] TGC example for BDD

---
 {reactics-bdd/in => examples/bdd}/tgc.rs | 1 +
 1 file changed, 1 insertion(+)
 rename {reactics-bdd/in => examples/bdd}/tgc.rs (99%)

diff --git a/reactics-bdd/in/tgc.rs b/examples/bdd/tgc.rs
similarity index 99%
rename from reactics-bdd/in/tgc.rs
rename to examples/bdd/tgc.rs
index 924e331..52d34a3 100644
--- a/reactics-bdd/in/tgc.rs
+++ b/examples/bdd/tgc.rs
@@ -46,3 +46,4 @@ context-automaton {
 rsctlk-property { f1 : EF( proc0.in ) AND EF( proc1.in ) AND EF( proc2.in ) }
 
 rsctlk-property { f2 : AG( proc0.in IMPLIES K[proc0](~proc1.in AND ~proc2.in) ) }
+