From e024f314eb2db11f02de7e2c6386523c1f85bd78 Mon Sep 17 00:00:00 2001 From: Mavo Date: Sat, 9 Jan 2016 11:59:30 +0100 Subject: [PATCH] Added dft examples Former-commit-id: 43e43c3846364c1b1c3cb0ef93d3ddc81d2b4ac8 --- examples/dft/and.dft | 4 ++++ examples/dft/and_param.dft | 5 +++++ examples/dft/or.dft | 4 ++++ examples/dft/pand.dft | 4 ++++ examples/dft/spare.dft | 5 +++++ examples/dft/spare2.dft | 8 ++++++++ examples/dft/spare3.dft | 10 ++++++++++ examples/dft/spare4.dft | 9 +++++++++ examples/dft/tripple_and1.dft | 8 ++++++++ examples/dft/tripple_and2.dft | 6 ++++++ examples/dft/voting.dft | 5 +++++ 11 files changed, 68 insertions(+) create mode 100644 examples/dft/and.dft create mode 100644 examples/dft/and_param.dft create mode 100644 examples/dft/or.dft create mode 100644 examples/dft/pand.dft create mode 100644 examples/dft/spare.dft create mode 100644 examples/dft/spare2.dft create mode 100644 examples/dft/spare3.dft create mode 100644 examples/dft/spare4.dft create mode 100644 examples/dft/tripple_and1.dft create mode 100644 examples/dft/tripple_and2.dft create mode 100644 examples/dft/voting.dft diff --git a/examples/dft/and.dft b/examples/dft/and.dft new file mode 100644 index 000000000..2b06cbe95 --- /dev/null +++ b/examples/dft/and.dft @@ -0,0 +1,4 @@ +toplevel "A"; +"A" and "B" "C"; +"B" lambda=0.5 dorm=0.3; +"C" lambda=0.5 dorm=0.3; diff --git a/examples/dft/and_param.dft b/examples/dft/and_param.dft new file mode 100644 index 000000000..8c95a0f2a --- /dev/null +++ b/examples/dft/and_param.dft @@ -0,0 +1,5 @@ +param x; +toplevel "A"; +"A" and "B" "C"; +"B" lambda=0.5 dorm=0.3; +"C" lambda=x dorm=0.3; diff --git a/examples/dft/or.dft b/examples/dft/or.dft new file mode 100644 index 000000000..b1003da11 --- /dev/null +++ b/examples/dft/or.dft @@ -0,0 +1,4 @@ +toplevel "A"; +"A" or "B" "C"; +"B" lambda=0.5 dorm=0.3; +"C" lambda=0.5 dorm=0.3; diff --git a/examples/dft/pand.dft b/examples/dft/pand.dft new file mode 100644 index 000000000..d752517b4 --- /dev/null +++ b/examples/dft/pand.dft @@ -0,0 +1,4 @@ +toplevel "A"; +"A" pand "B" "C"; +"B" lambda=0.4 dorm=0.3; +"C" lambda=0.2 dorm=0.3; diff --git a/examples/dft/spare.dft b/examples/dft/spare.dft new file mode 100644 index 000000000..4c5d44ff4 --- /dev/null +++ b/examples/dft/spare.dft @@ -0,0 +1,5 @@ +toplevel "A"; +"A" wsp "I" "M"; +"I" lambda=0.5 dorm=0.3; +"M" lambda=0.5 dorm=0.3; + diff --git a/examples/dft/spare2.dft b/examples/dft/spare2.dft new file mode 100644 index 000000000..21b40cf73 --- /dev/null +++ b/examples/dft/spare2.dft @@ -0,0 +1,8 @@ +toplevel "A"; +"A" or "B" "C"; +"B" wsp "I" "J"; +"C" wsp "M" "J"; +"I" lambda=0.5 dorm=0.3; +"J" lambda=0.5 dorm=0.3; +"M" lambda=0.5 dorm=0.3; + diff --git a/examples/dft/spare3.dft b/examples/dft/spare3.dft new file mode 100644 index 000000000..ba0ac01d4 --- /dev/null +++ b/examples/dft/spare3.dft @@ -0,0 +1,10 @@ +toplevel "A"; +"A" or "B" "C" "D"; +"B" wsp "I" "M"; +"C" wsp "J" "M"; +"D" wsp "K" "M"; +"I" lambda=0.5 dorm=0.3; +"J" lambda=0.5 dorm=0.3; +"K" lambda=0.5 dorm=0.3; +"M" lambda=0.5 dorm=0.3; + diff --git a/examples/dft/spare4.dft b/examples/dft/spare4.dft new file mode 100644 index 000000000..a217c6e43 --- /dev/null +++ b/examples/dft/spare4.dft @@ -0,0 +1,9 @@ +toplevel "A"; +"A" and "B" "C"; +"B" wsp "I" "J" "K"; +"C" wsp "M" "J"; +"I" lambda=0.5 dorm=0.3; +"J" lambda=0.5 dorm=0.3; +"K" lambda=0.5 dorm=0.3; +"M" lambda=0.5 dorm=0.3; + diff --git a/examples/dft/tripple_and1.dft b/examples/dft/tripple_and1.dft new file mode 100644 index 000000000..b6f1c04b2 --- /dev/null +++ b/examples/dft/tripple_and1.dft @@ -0,0 +1,8 @@ +toplevel "A"; +"A" and "B" "C"; +"B" and "BE1" "BE2"; +"C" and "BE3" "BE4"; +"BE1" lambda=0.5 dorm=0.3; +"BE2" lambda=0.5 dorm=0.3; +"BE3" lambda=0.5 dorm=0.3; +"BE4" lambda=0.5 dorm=0.3; diff --git a/examples/dft/tripple_and2.dft b/examples/dft/tripple_and2.dft new file mode 100644 index 000000000..0f9d0e491 --- /dev/null +++ b/examples/dft/tripple_and2.dft @@ -0,0 +1,6 @@ +toplevel "A"; +"A" and "B" "C"; +"B" and "BE1" "BE2"; +"BE1" lambda=0.5 dorm=0.3; +"BE2" lambda=0.5 dorm=0.3; +"C" lambda=0.5 dorm=0.3; diff --git a/examples/dft/voting.dft b/examples/dft/voting.dft new file mode 100644 index 000000000..18a54a7fa --- /dev/null +++ b/examples/dft/voting.dft @@ -0,0 +1,5 @@ +toplevel "A"; +"A" vot2 "B" "C" "D"; +"B" lambda=0.5 dorm=0.3; +"C" lambda=0.5 dorm=0.3; +"D" lambda=0.5 dorm=0.3;