From c23eb7312974381c22af6885e967054b2362910e Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Thu, 17 Mar 2016 17:31:45 +0100
Subject: [PATCH] Cleaned examples

Former-commit-id: 37a0ad6cc84026e81f60754cd9db7054277ca9b2
---
 examples/dft/{seq1.dft => seq.dft} |  0
 examples/dft/seq3.txt              |  6 ------
 examples/dft/seq4.dft              | 11 ++++++-----
 examples/dft/seq5.dft              | 10 ++++++----
 examples/dft/seq6.dft              |  8 --------
 5 files changed, 12 insertions(+), 23 deletions(-)
 rename examples/dft/{seq1.dft => seq.dft} (100%)
 delete mode 100644 examples/dft/seq3.txt
 delete mode 100644 examples/dft/seq6.dft

diff --git a/examples/dft/seq1.dft b/examples/dft/seq.dft
similarity index 100%
rename from examples/dft/seq1.dft
rename to examples/dft/seq.dft
diff --git a/examples/dft/seq3.txt b/examples/dft/seq3.txt
deleted file mode 100644
index b22b9e8b6..000000000
--- a/examples/dft/seq3.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-toplevel "A";
-"A" and "C" "D";
-"X" seq "B" "C" "D";
-"B" lambda=0.5 dorm=0.3;
-"C" lambda=0.5 dorm=0.3;
-"D" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/seq4.dft b/examples/dft/seq4.dft
index 260a88266..60bf149af 100644
--- a/examples/dft/seq4.dft
+++ b/examples/dft/seq4.dft
@@ -1,6 +1,7 @@
 toplevel "A";
-"A" or "C" "D";
-"X" seq "B" "C" "D";
-"B" lambda=0.5 dorm=0.3;
-"C" lambda=0.5 dorm=0.3;
-"D" lambda=0.5 dorm=0.3;
+"A" and "T1" "B3";
+"T1" or "B1" "B2";
+"X" seq "B1" "B2" "B3";
+"B1" lambda=0.5 dorm=0.3;
+"B2" lambda=0.5 dorm=0.3;
+"B3" lambda=0.5 dorm=0.3;
diff --git a/examples/dft/seq5.dft b/examples/dft/seq5.dft
index 60bf149af..77b13ddeb 100644
--- a/examples/dft/seq5.dft
+++ b/examples/dft/seq5.dft
@@ -1,7 +1,9 @@
 toplevel "A";
-"A" and "T1" "B3";
-"T1" or "B1" "B2";
-"X" seq "B1" "B2" "B3";
-"B1" lambda=0.5 dorm=0.3;
+"A" and "T1" "T2";
+"T1" pand "B1" "B2"; 
+"T2" pand "B3" "B4";
+"X" seq "B4" "B3";
+"B1" lambda=0.7 dorm=0.3;
 "B2" lambda=0.5 dorm=0.3;
 "B3" lambda=0.5 dorm=0.3;
+"B4" lambda=0.7 dorm=0.3;
diff --git a/examples/dft/seq6.dft b/examples/dft/seq6.dft
deleted file mode 100644
index 8453cb411..000000000
--- a/examples/dft/seq6.dft
+++ /dev/null
@@ -1,8 +0,0 @@
-toplevel "A";
-"A" and "T1" "T2";
-"T1" pand "B1" "B2"; 
-"T2" pand "B3" "B4;
-"B1" lambda=0.7 dorm=0.3;
-"B2" lambda=0.5 dorm=0.3;
-"B3" lambda=0.5 dorm=0.3;
-"B4" lambda=0.7 dorm=0.3;