From 7c60e4275d98b5e207f956492ec9d5efa48ceb01 Mon Sep 17 00:00:00 2001 From: Mavo Date: Wed, 16 Mar 2016 18:18:53 +0100 Subject: [PATCH] Some more parametric DFT examples Former-commit-id: a2401c9453242663bb864d8e53a94efeae2a0b4c --- examples/dft/nonmonoton_param.dft | 8 ++++++++ examples/dft/spare_param.dft | 9 +++++++++ examples/dft/symmetry_param.dft | 10 ++++++++++ 3 files changed, 27 insertions(+) create mode 100644 examples/dft/nonmonoton_param.dft create mode 100644 examples/dft/spare_param.dft create mode 100644 examples/dft/symmetry_param.dft diff --git a/examples/dft/nonmonoton_param.dft b/examples/dft/nonmonoton_param.dft new file mode 100644 index 000000000..e83f3b012 --- /dev/null +++ b/examples/dft/nonmonoton_param.dft @@ -0,0 +1,8 @@ +param x; +param y; +toplevel "A"; +"A" or "B" "Z"; +"B" pand "D" "S"; +"Z" lambda=y dorm=0; +"D" lambda=100 dorm=0; +"S" lambda=100*x dorm=0; diff --git a/examples/dft/spare_param.dft b/examples/dft/spare_param.dft new file mode 100644 index 000000000..5378b13d2 --- /dev/null +++ b/examples/dft/spare_param.dft @@ -0,0 +1,9 @@ +param x; +param y; +toplevel "SF"; +"SF" or "FW" "BW"; +"FW" wsp "W1" "WS"; +"BW" wsp "W2" "WS"; +"W1" lambda=x dorm=0; +"W2" lambda=1 dorm=0; +"WS" lambda=y dorm=0; diff --git a/examples/dft/symmetry_param.dft b/examples/dft/symmetry_param.dft new file mode 100644 index 000000000..412968c80 --- /dev/null +++ b/examples/dft/symmetry_param.dft @@ -0,0 +1,10 @@ +param x; +param y; +toplevel "A"; +"A" and "B" "B'"; +"B" and "C" "D"; +"B'" and "C'" "D'"; +"C" lambda=x dorm=0; +"D" lambda=y dorm=0; +"C'" lambda=x dorm=0; +"D'" lambda=y dorm=0;