From f89cc46576e1fb07cb3981fd37f042e609aabea8 Mon Sep 17 00:00:00 2001 From: sjunges Date: Mon, 22 Feb 2016 00:05:27 +0100 Subject: [PATCH] two more small examples Former-commit-id: 9d420a62b21d0e41270a5419071061c0687464cb --- examples/dft/seq1.dft | 5 +++++ examples/dft/spare_cold.dft | 5 +++++ 2 files changed, 10 insertions(+) create mode 100644 examples/dft/seq1.dft create mode 100644 examples/dft/spare_cold.dft diff --git a/examples/dft/seq1.dft b/examples/dft/seq1.dft new file mode 100644 index 000000000..8f5459fd2 --- /dev/null +++ b/examples/dft/seq1.dft @@ -0,0 +1,5 @@ +toplevel "A"; +"A" and "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/spare_cold.dft b/examples/dft/spare_cold.dft new file mode 100644 index 000000000..d01174bd5 --- /dev/null +++ b/examples/dft/spare_cold.dft @@ -0,0 +1,5 @@ +toplevel "A"; +"A" wsp "I" "M"; +"I" lambda=0.5 dorm=0.0; +"M" lambda=0.5 dorm=0.0; +