From a6f8ba37168df42233eb5f33245514cd8d214165 Mon Sep 17 00:00:00 2001 From: sjunges Date: Wed, 2 Mar 2016 15:30:22 +0100 Subject: [PATCH] seq examples Former-commit-id: 42c0f279b9c8dee9e8c03f342e42a58cf738ff5b --- examples/dft/seq1.dft | 2 +- examples/dft/seq2.dft | 6 ++++++ examples/dft/seq3.dft | 6 ++++++ examples/dft/seq3.txt | 6 ++++++ examples/dft/seq4.dft | 6 ++++++ examples/dft/seq5.dft | 7 +++++++ examples/dft/seq6.dft | 8 ++++++++ 7 files changed, 40 insertions(+), 1 deletion(-) create mode 100644 examples/dft/seq2.dft create mode 100644 examples/dft/seq3.dft create mode 100644 examples/dft/seq3.txt create mode 100644 examples/dft/seq4.dft create mode 100644 examples/dft/seq5.dft create mode 100644 examples/dft/seq6.dft diff --git a/examples/dft/seq1.dft b/examples/dft/seq1.dft index 8f5459fd2..6fd99bc3b 100644 --- a/examples/dft/seq1.dft +++ b/examples/dft/seq1.dft @@ -1,5 +1,5 @@ toplevel "A"; "A" and "B" "C"; -"X" seq "B" "C"; +"X" seq "B" "C" "B" lambda=0.5 dorm=0.3; "C" lambda=0.5 dorm=0.3; diff --git a/examples/dft/seq2.dft b/examples/dft/seq2.dft new file mode 100644 index 000000000..408d4c26d --- /dev/null +++ b/examples/dft/seq2.dft @@ -0,0 +1,6 @@ +toplevel "A"; +"A" and "B" "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/seq3.dft b/examples/dft/seq3.dft new file mode 100644 index 000000000..b22b9e8b6 --- /dev/null +++ b/examples/dft/seq3.dft @@ -0,0 +1,6 @@ +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/seq3.txt b/examples/dft/seq3.txt new file mode 100644 index 000000000..b22b9e8b6 --- /dev/null +++ b/examples/dft/seq3.txt @@ -0,0 +1,6 @@ +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 new file mode 100644 index 000000000..260a88266 --- /dev/null +++ b/examples/dft/seq4.dft @@ -0,0 +1,6 @@ +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; diff --git a/examples/dft/seq5.dft b/examples/dft/seq5.dft new file mode 100644 index 000000000..60bf149af --- /dev/null +++ b/examples/dft/seq5.dft @@ -0,0 +1,7 @@ +toplevel "A"; +"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/seq6.dft b/examples/dft/seq6.dft new file mode 100644 index 000000000..8453cb411 --- /dev/null +++ b/examples/dft/seq6.dft @@ -0,0 +1,8 @@ +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;