diff --git a/pgfexamples/EVTInvariants/run_benchmarks.sh b/pgfexamples/EVTInvariants/run_benchmarks.sh deleted file mode 100755 index 583e3e8..0000000 --- a/pgfexamples/EVTInvariants/run_benchmarks.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/zsh -SCRIPTPATH="$( cd -- "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )" -for f in $SCRIPTPATH/*.pgcl -do - if [[ $f == $SCRIPTPATH/skip_*.pgcl ]] - then - printf "Processing $f\n\e[32mResult:\t\e[m \e[36mSkipped!\e[m\n" - else - echo "Processing $f" - poetry run prodigy "$@" invariant_synthesis "$f" - fi -done diff --git a/pgfexamples/ISSAC/geometric.pgcl b/pgfexamples/ISSAC/geometric.pgcl deleted file mode 100644 index 557717f..0000000 --- a/pgfexamples/ISSAC/geometric.pgcl +++ /dev/null @@ -1,9 +0,0 @@ -nat x; -nat c; -nat temp; - -while (x = 1){ - {x := 0 } [1/2] {c := c+1} - temp :=0 -} -observe(c%2=1) \ No newline at end of file diff --git a/pgfexamples/ISSAC/infer_geom_mix.pgcl b/pgfexamples/ISSAC/infer_geom_mix.pgcl deleted file mode 100644 index 14d90c0..0000000 --- a/pgfexamples/ISSAC/infer_geom_mix.pgcl +++ /dev/null @@ -1,26 +0,0 @@ -// sample from either 1, 2, or 3 geom distributions and add the results -// infer from how many distributions we sampled based on observing one result - -nat c; -nat res; -nat tmp; - -res := 0; - -c := unif(1,3); - -tmp := geometric(1/2); -res := res + tmp; -if(c = 2 || c = 3) { - tmp := geometric(3/10); - res := res + tmp; -} else {skip} -if(c = 3) { - tmp := geometric(1/5); - res := res + tmp; -} else { - skip -} -observe(res = 4) -#?Pr[c] -#!Plot[c] \ No newline at end of file diff --git a/pgfexamples/ISSAC/n_geometric.pgcl b/pgfexamples/ISSAC/n_geometric.pgcl deleted file mode 100644 index 9ff0e29..0000000 --- a/pgfexamples/ISSAC/n_geometric.pgcl +++ /dev/null @@ -1,6 +0,0 @@ -nat n; -nat c; - -while(n > 0){ - {n := n - 1 } [1/2] {c := c + 1} -} \ No newline at end of file diff --git a/pgfexamples/ISSAC/n_geometric_invariant.pgcl b/pgfexamples/ISSAC/n_geometric_invariant.pgcl deleted file mode 100644 index 1b4731f..0000000 --- a/pgfexamples/ISSAC/n_geometric_invariant.pgcl +++ /dev/null @@ -1,8 +0,0 @@ -nat n; -nat c; -nat tmp; - -tmp := iid(geometric(1/2), n); -c := c + tmp -n := 0 -tmp := 0 \ No newline at end of file diff --git a/pgfexamples/ISSAC/n_geometric_parameter.pgcl b/pgfexamples/ISSAC/n_geometric_parameter.pgcl deleted file mode 100644 index d720e31..0000000 --- a/pgfexamples/ISSAC/n_geometric_parameter.pgcl +++ /dev/null @@ -1,7 +0,0 @@ -nat n; -nat c; -rparam q; - -while(n > 0){ - {n := n - 1 } [1/3*q] {c := c + 1} -} \ No newline at end of file diff --git a/pgfexamples/ISSAC/n_geometric_parameter_invariant.pgcl b/pgfexamples/ISSAC/n_geometric_parameter_invariant.pgcl deleted file mode 100644 index c4f05b5..0000000 --- a/pgfexamples/ISSAC/n_geometric_parameter_invariant.pgcl +++ /dev/null @@ -1,9 +0,0 @@ -nat n; -nat c; -nat tmp; -rparam p; - -tmp := iid(geometric(p), n); -c := c + tmp -n := 0 -tmp := 0 \ No newline at end of file diff --git a/pgfexamples/ISSAC/random_walk.pgcl b/pgfexamples/ISSAC/random_walk.pgcl deleted file mode 100644 index a53bdb6..0000000 --- a/pgfexamples/ISSAC/random_walk.pgcl +++ /dev/null @@ -1,10 +0,0 @@ -nat s; -nat c; -nat tmp; - -while(s > 0){ - {s := s+1} [1/2] {s := s-1} - c := c+1 - tmp := 0 -} -observe(c<20) \ No newline at end of file diff --git a/pgfexamples/ISSAC/random_walk_parameter.pgcl b/pgfexamples/ISSAC/random_walk_parameter.pgcl deleted file mode 100644 index 00328e4..0000000 --- a/pgfexamples/ISSAC/random_walk_parameter.pgcl +++ /dev/null @@ -1,11 +0,0 @@ -nat s; -nat c; -nat tmp; -rparam p; - -while(s > 0){ - {s := s+1} [p] {s := s-1} - c := c+1 - tmp := 0 -} -observe(c>20) \ No newline at end of file diff --git a/pgfexamples/ISSAC/telephone_operator.pgcl b/pgfexamples/ISSAC/telephone_operator.pgcl deleted file mode 100644 index dc3221b..0000000 --- a/pgfexamples/ISSAC/telephone_operator.pgcl +++ /dev/null @@ -1,18 +0,0 @@ -nat x; // 0: weekday, 1: weekend -nat d; // sample the number of phone calls received in one hour. -rparam p; -nparam n; - -x := bernoulli(2/7) -if (x=0){ - d := poisson(6) // Weekdays there are 10 phone calls on average in an hour -} else { - d := poisson(2) // Weekends there are 4 phone calls in average in an hour -} - -observe(d=5) // we have observed 5 phone calls. -//?Ex[x] -//!Plot[x, d] -//!Print - - diff --git a/pgfexamples/ISSAC/telephone_operator_param.pgcl b/pgfexamples/ISSAC/telephone_operator_param.pgcl deleted file mode 100644 index d6c0314..0000000 --- a/pgfexamples/ISSAC/telephone_operator_param.pgcl +++ /dev/null @@ -1,18 +0,0 @@ -nat x; // 0: weekday, 1: weekend -nat d; // sample the number of phone calls received in one hour. -rparam p; -nparam n; - -x := bernoulli(p) -if (x=0){ - d := poisson(n+6) // Weekdays there are 10 phone calls on average in an hour -} else { - d := poisson(n) // Weekends there are 4 phone calls in average in an hour -} - -observe(d=5) // we have observed 5 phone calls. -//?Ex[x] -//!Plot[x, d] -//!Print - - diff --git a/pgfexamples/README.md b/pgfexamples/README.md new file mode 100644 index 0000000..89d3aa9 --- /dev/null +++ b/pgfexamples/README.md @@ -0,0 +1,23 @@ +# Examples + +The examples are structured as follows: + +``` +pgfexamples/ +├── comparison # Comparisons with other tools / paradigms +│   ├── ADDcomparison # Comparisons with Algebraic Decision Diagrams +│   └── psicomparison # Comparisons with Psi +│   ├── inference +│   └── psi_fails # Examples where Psi fails +├── evt_invariants # Synthesis of expected visiting time invariants +├── independence # Independent variables +├── inference # Calculation of posterior distribution +│   ├── loop_free # ... without while-loops +│   │   └── conditioning # ... with observe-statements +│   └── loopy # ... with while-loops +│   └── conditioning # ... with observe-statements +├── loop_equivalence # Equality of loopy and loop-free programs +│   └── invariants # Corresponding loop-free programs +└── template_parameter_synthesis # Equality of loopy and loop-free programs with parameters +    └── invariants # Corresponding loop-free programs + ``` \ No newline at end of file diff --git a/pgfexamples/ADDcomparison/students.pgcl b/pgfexamples/comparison/ADDcomparison/students.pgcl similarity index 100% rename from pgfexamples/ADDcomparison/students.pgcl rename to pgfexamples/comparison/ADDcomparison/students.pgcl diff --git a/pgfexamples/psicomparison/inference/burglar_alarm.psi b/pgfexamples/comparison/psicomparison/inference/burglar_alarm.psi similarity index 100% rename from pgfexamples/psicomparison/inference/burglar_alarm.psi rename to pgfexamples/comparison/psicomparison/inference/burglar_alarm.psi diff --git a/pgfexamples/psicomparison/inference/caesar.psi b/pgfexamples/comparison/psicomparison/inference/caesar.psi similarity index 100% rename from pgfexamples/psicomparison/inference/caesar.psi rename to pgfexamples/comparison/psicomparison/inference/caesar.psi diff --git a/pgfexamples/psicomparison/inference/dnd_handicap.psi b/pgfexamples/comparison/psicomparison/inference/dnd_handicap.psi similarity index 100% rename from pgfexamples/psicomparison/inference/dnd_handicap.psi rename to pgfexamples/comparison/psicomparison/inference/dnd_handicap.psi diff --git a/pgfexamples/psicomparison/inference/evidence1.psi b/pgfexamples/comparison/psicomparison/inference/evidence1.psi similarity index 100% rename from pgfexamples/psicomparison/inference/evidence1.psi rename to pgfexamples/comparison/psicomparison/inference/evidence1.psi diff --git a/pgfexamples/psicomparison/inference/evidence2.psi b/pgfexamples/comparison/psicomparison/inference/evidence2.psi similarity index 100% rename from pgfexamples/psicomparison/inference/evidence2.psi rename to pgfexamples/comparison/psicomparison/inference/evidence2.psi diff --git a/pgfexamples/psicomparison/inference/function.psi b/pgfexamples/comparison/psicomparison/inference/function.psi similarity index 100% rename from pgfexamples/psicomparison/inference/function.psi rename to pgfexamples/comparison/psicomparison/inference/function.psi diff --git a/pgfexamples/psicomparison/inference/fuzzy_or.psi b/pgfexamples/comparison/psicomparison/inference/fuzzy_or.psi similarity index 100% rename from pgfexamples/psicomparison/inference/fuzzy_or.psi rename to pgfexamples/comparison/psicomparison/inference/fuzzy_or.psi diff --git a/pgfexamples/psicomparison/inference/grass.psi b/pgfexamples/comparison/psicomparison/inference/grass.psi similarity index 100% rename from pgfexamples/psicomparison/inference/grass.psi rename to pgfexamples/comparison/psicomparison/inference/grass.psi diff --git a/pgfexamples/psicomparison/inference/infer_geom_mix.psi b/pgfexamples/comparison/psicomparison/inference/infer_geom_mix.psi similarity index 100% rename from pgfexamples/psicomparison/inference/infer_geom_mix.psi rename to pgfexamples/comparison/psicomparison/inference/infer_geom_mix.psi diff --git a/pgfexamples/psicomparison/inference/lin_regression_unbiased.psi b/pgfexamples/comparison/psicomparison/inference/lin_regression_unbiased.psi similarity index 100% rename from pgfexamples/psicomparison/inference/lin_regression_unbiased.psi rename to pgfexamples/comparison/psicomparison/inference/lin_regression_unbiased.psi diff --git a/pgfexamples/psicomparison/inference/lucky_throw.psi b/pgfexamples/comparison/psicomparison/inference/lucky_throw.psi similarity index 100% rename from pgfexamples/psicomparison/inference/lucky_throw.psi rename to pgfexamples/comparison/psicomparison/inference/lucky_throw.psi diff --git a/pgfexamples/psicomparison/inference/max.psi b/pgfexamples/comparison/psicomparison/inference/max.psi similarity index 100% rename from pgfexamples/psicomparison/inference/max.psi rename to pgfexamples/comparison/psicomparison/inference/max.psi diff --git a/pgfexamples/psicomparison/inference/monty_hall.psi b/pgfexamples/comparison/psicomparison/inference/monty_hall.psi similarity index 100% rename from pgfexamples/psicomparison/inference/monty_hall.psi rename to pgfexamples/comparison/psicomparison/inference/monty_hall.psi diff --git a/pgfexamples/psicomparison/inference/monty_hall_nested.psi b/pgfexamples/comparison/psicomparison/inference/monty_hall_nested.psi similarity index 100% rename from pgfexamples/psicomparison/inference/monty_hall_nested.psi rename to pgfexamples/comparison/psicomparison/inference/monty_hall_nested.psi diff --git a/pgfexamples/psicomparison/inference/murder_mystery.psi b/pgfexamples/comparison/psicomparison/inference/murder_mystery.psi similarity index 100% rename from pgfexamples/psicomparison/inference/murder_mystery.psi rename to pgfexamples/comparison/psicomparison/inference/murder_mystery.psi diff --git a/pgfexamples/psicomparison/inference/pi.psi b/pgfexamples/comparison/psicomparison/inference/pi.psi similarity index 100% rename from pgfexamples/psicomparison/inference/pi.psi rename to pgfexamples/comparison/psicomparison/inference/pi.psi diff --git a/pgfexamples/psicomparison/inference/piranha.psi b/pgfexamples/comparison/psicomparison/inference/piranha.psi similarity index 100% rename from pgfexamples/psicomparison/inference/piranha.psi rename to pgfexamples/comparison/psicomparison/inference/piranha.psi diff --git a/pgfexamples/psicomparison/inference/prob_collatz.psi b/pgfexamples/comparison/psicomparison/inference/prob_collatz.psi similarity index 100% rename from pgfexamples/psicomparison/inference/prob_collatz.psi rename to pgfexamples/comparison/psicomparison/inference/prob_collatz.psi diff --git a/pgfexamples/psicomparison/inference/telephone_operator.psi b/pgfexamples/comparison/psicomparison/inference/telephone_operator.psi similarity index 100% rename from pgfexamples/psicomparison/inference/telephone_operator.psi rename to pgfexamples/comparison/psicomparison/inference/telephone_operator.psi diff --git a/pgfexamples/psicomparison/inference/telephone_operator_param.psi b/pgfexamples/comparison/psicomparison/inference/telephone_operator_param.psi similarity index 100% rename from pgfexamples/psicomparison/inference/telephone_operator_param.psi rename to pgfexamples/comparison/psicomparison/inference/telephone_operator_param.psi diff --git a/pgfexamples/psicomparison/inference/twocoins.psi b/pgfexamples/comparison/psicomparison/inference/twocoins.psi similarity index 100% rename from pgfexamples/psicomparison/inference/twocoins.psi rename to pgfexamples/comparison/psicomparison/inference/twocoins.psi diff --git a/pgfexamples/psicomparison/psi_fails/iid_sampling.pgcl b/pgfexamples/comparison/psicomparison/psi_fails/iid_sampling.pgcl similarity index 100% rename from pgfexamples/psicomparison/psi_fails/iid_sampling.pgcl rename to pgfexamples/comparison/psicomparison/psi_fails/iid_sampling.pgcl diff --git a/pgfexamples/psicomparison/psi_fails/parameters.pgcl b/pgfexamples/comparison/psicomparison/psi_fails/parameters.pgcl similarity index 100% rename from pgfexamples/psicomparison/psi_fails/parameters.pgcl rename to pgfexamples/comparison/psicomparison/psi_fails/parameters.pgcl diff --git a/pgfexamples/psicomparison/psi_fails/random_walk.pgcl b/pgfexamples/comparison/psicomparison/psi_fails/random_walk.pgcl similarity index 100% rename from pgfexamples/psicomparison/psi_fails/random_walk.pgcl rename to pgfexamples/comparison/psicomparison/psi_fails/random_walk.pgcl diff --git a/pgfexamples/equivalence/geometric_invariant.pgcl b/pgfexamples/equivalence/geometric_invariant.pgcl deleted file mode 100644 index 6f09ba7..0000000 --- a/pgfexamples/equivalence/geometric_invariant.pgcl +++ /dev/null @@ -1,10 +0,0 @@ -nat x; -nat c; -nat temp; - -if(x=1){ - temp := geometric(1/2) - c := c + temp - x := 0 - temp := 0 -} else {skip} \ No newline at end of file diff --git a/pgfexamples/equivalence/geometric_parameter.pgcl b/pgfexamples/equivalence/geometric_parameter.pgcl deleted file mode 100644 index ac46fba..0000000 --- a/pgfexamples/equivalence/geometric_parameter.pgcl +++ /dev/null @@ -1,8 +0,0 @@ -nat x; -nat c; -nat temp; - -while (x = 1){ - {x := 0} [1/3] {c := c+1} - temp :=0 -} \ No newline at end of file diff --git a/pgfexamples/equivalence/geometric_parameter_invariant.pgcl b/pgfexamples/equivalence/geometric_parameter_invariant.pgcl deleted file mode 100644 index b8f6a56..0000000 --- a/pgfexamples/equivalence/geometric_parameter_invariant.pgcl +++ /dev/null @@ -1,11 +0,0 @@ -nat x; -nat c; -nat temp; -rparam p; - -if(x=1){ - temp := geometric(p) - c := c + temp - x := 0 - temp := 0 -} else {skip} \ No newline at end of file diff --git a/pgfexamples/equivalence/random_walk_invariant.pgcl b/pgfexamples/equivalence/random_walk_invariant.pgcl deleted file mode 100644 index 3a5507f..0000000 --- a/pgfexamples/equivalence/random_walk_invariant.pgcl +++ /dev/null @@ -1,12 +0,0 @@ -nat s; -nat c; -nat tmp; - -if(s > 0){ - tmp := iid( ((1-(1-(c*c))^(1/2))/c), s) - c := c + tmp - tmp := 0 - s := 0 -} else { - skip -} \ No newline at end of file diff --git a/pgfexamples/equivalence/random_walk_parameter_invariant.pgcl b/pgfexamples/equivalence/random_walk_parameter_invariant.pgcl deleted file mode 100644 index 3a5507f..0000000 --- a/pgfexamples/equivalence/random_walk_parameter_invariant.pgcl +++ /dev/null @@ -1,12 +0,0 @@ -nat s; -nat c; -nat tmp; - -if(s > 0){ - tmp := iid( ((1-(1-(c*c))^(1/2))/c), s) - c := c + tmp - tmp := 0 - s := 0 -} else { - skip -} \ No newline at end of file diff --git a/pgfexamples/EVTInvariants/cond_and.pgcl b/pgfexamples/evt_invariants/cond_and.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/cond_and.pgcl rename to pgfexamples/evt_invariants/cond_and.pgcl diff --git a/pgfexamples/EVTInvariants/fast_dice_roller.pgcl b/pgfexamples/evt_invariants/fast_dice_roller.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/fast_dice_roller.pgcl rename to pgfexamples/evt_invariants/fast_dice_roller.pgcl diff --git a/pgfexamples/EVTInvariants/faulty_decrement.pgcl b/pgfexamples/evt_invariants/faulty_decrement.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/faulty_decrement.pgcl rename to pgfexamples/evt_invariants/faulty_decrement.pgcl diff --git a/pgfexamples/EVTInvariants/geometric.pgcl b/pgfexamples/evt_invariants/geometric.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/geometric.pgcl rename to pgfexamples/evt_invariants/geometric.pgcl diff --git a/pgfexamples/EVTInvariants/geometric_counter.pgcl b/pgfexamples/evt_invariants/geometric_counter.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/geometric_counter.pgcl rename to pgfexamples/evt_invariants/geometric_counter.pgcl diff --git a/pgfexamples/EVTInvariants/modulo_geometric.pgcl b/pgfexamples/evt_invariants/modulo_geometric.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/modulo_geometric.pgcl rename to pgfexamples/evt_invariants/modulo_geometric.pgcl diff --git a/pgfexamples/EVTInvariants/nontermination.pgcl b/pgfexamples/evt_invariants/nontermination.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/nontermination.pgcl rename to pgfexamples/evt_invariants/nontermination.pgcl diff --git a/pgfexamples/EVTInvariants/random_walk.pgcl b/pgfexamples/evt_invariants/random_walk.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/random_walk.pgcl rename to pgfexamples/evt_invariants/random_walk.pgcl diff --git a/pgfexamples/EVTInvariants/skip_random_walk_counter.pgcl b/pgfexamples/evt_invariants/skip_random_walk_counter.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/skip_random_walk_counter.pgcl rename to pgfexamples/evt_invariants/skip_random_walk_counter.pgcl diff --git a/pgfexamples/EVTInvariants/skip_sequential_loops.pgcl b/pgfexamples/evt_invariants/skip_sequential_loops.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/skip_sequential_loops.pgcl rename to pgfexamples/evt_invariants/skip_sequential_loops.pgcl diff --git a/pgfexamples/EVTInvariants/subdist_enter.pgcl b/pgfexamples/evt_invariants/subdist_enter.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/subdist_enter.pgcl rename to pgfexamples/evt_invariants/subdist_enter.pgcl diff --git a/pgfexamples/EVTInvariants/thirds_geometric.pgcl b/pgfexamples/evt_invariants/thirds_geometric.pgcl similarity index 100% rename from pgfexamples/EVTInvariants/thirds_geometric.pgcl rename to pgfexamples/evt_invariants/thirds_geometric.pgcl diff --git a/pgfexamples/ISSAC/fuzzy_or.pgcl b/pgfexamples/independence/fuzzy_or.pgcl similarity index 100% rename from pgfexamples/ISSAC/fuzzy_or.pgcl rename to pgfexamples/independence/fuzzy_or.pgcl diff --git a/pgfexamples/inference/burgler_alarm.pgcl b/pgfexamples/inference/loop_free/conditioning/burgler_alarm.pgcl similarity index 100% rename from pgfexamples/inference/burgler_alarm.pgcl rename to pgfexamples/inference/loop_free/conditioning/burgler_alarm.pgcl diff --git a/pgfexamples/inference/caesar.pgcl b/pgfexamples/inference/loop_free/conditioning/caesar.pgcl similarity index 100% rename from pgfexamples/inference/caesar.pgcl rename to pgfexamples/inference/loop_free/conditioning/caesar.pgcl diff --git a/pgfexamples/inference/conditioning_divergence.pgcl b/pgfexamples/inference/loop_free/conditioning/conditioning_divergence.pgcl similarity index 100% rename from pgfexamples/inference/conditioning_divergence.pgcl rename to pgfexamples/inference/loop_free/conditioning/conditioning_divergence.pgcl diff --git a/pgfexamples/inference/digitRecognition.pgcl b/pgfexamples/inference/loop_free/conditioning/digitRecognition.pgcl similarity index 100% rename from pgfexamples/inference/digitRecognition.pgcl rename to pgfexamples/inference/loop_free/conditioning/digitRecognition.pgcl diff --git a/pgfexamples/inference/evidence1.pgcl b/pgfexamples/inference/loop_free/conditioning/evidence1.pgcl similarity index 100% rename from pgfexamples/inference/evidence1.pgcl rename to pgfexamples/inference/loop_free/conditioning/evidence1.pgcl diff --git a/pgfexamples/inference/evidence2.pgcl b/pgfexamples/inference/loop_free/conditioning/evidence2.pgcl similarity index 100% rename from pgfexamples/inference/evidence2.pgcl rename to pgfexamples/inference/loop_free/conditioning/evidence2.pgcl diff --git a/pgfexamples/inference/grass.pgcl b/pgfexamples/inference/loop_free/conditioning/grass.pgcl similarity index 100% rename from pgfexamples/inference/grass.pgcl rename to pgfexamples/inference/loop_free/conditioning/grass.pgcl diff --git a/pgfexamples/inference/infer_geom_mix.pgcl b/pgfexamples/inference/loop_free/conditioning/infer_geom_mix.pgcl similarity index 100% rename from pgfexamples/inference/infer_geom_mix.pgcl rename to pgfexamples/inference/loop_free/conditioning/infer_geom_mix.pgcl diff --git a/pgfexamples/inference/lin_regression_unbiased.pgcl b/pgfexamples/inference/loop_free/conditioning/lin_regression_unbiased.pgcl similarity index 100% rename from pgfexamples/inference/lin_regression_unbiased.pgcl rename to pgfexamples/inference/loop_free/conditioning/lin_regression_unbiased.pgcl diff --git a/pgfexamples/inference/lucky_throw.pgcl b/pgfexamples/inference/loop_free/conditioning/lucky_throw.pgcl similarity index 100% rename from pgfexamples/inference/lucky_throw.pgcl rename to pgfexamples/inference/loop_free/conditioning/lucky_throw.pgcl diff --git a/pgfexamples/inference/monty_hall_nested.pgcl b/pgfexamples/inference/loop_free/conditioning/monty_hall_nested.pgcl similarity index 100% rename from pgfexamples/inference/monty_hall_nested.pgcl rename to pgfexamples/inference/loop_free/conditioning/monty_hall_nested.pgcl diff --git a/pgfexamples/inference/murder_mystery.pgcl b/pgfexamples/inference/loop_free/conditioning/murder_mystery.pgcl similarity index 100% rename from pgfexamples/inference/murder_mystery.pgcl rename to pgfexamples/inference/loop_free/conditioning/murder_mystery.pgcl diff --git a/pgfexamples/inference/skip_lin_regression_biased.pgcl b/pgfexamples/inference/loop_free/conditioning/skip_lin_regression_biased.pgcl similarity index 100% rename from pgfexamples/inference/skip_lin_regression_biased.pgcl rename to pgfexamples/inference/loop_free/conditioning/skip_lin_regression_biased.pgcl diff --git a/pgfexamples/inference/telephone_operator.pgcl b/pgfexamples/inference/loop_free/conditioning/telephone_operator.pgcl similarity index 100% rename from pgfexamples/inference/telephone_operator.pgcl rename to pgfexamples/inference/loop_free/conditioning/telephone_operator.pgcl diff --git a/pgfexamples/inference/twocoins.pgcl b/pgfexamples/inference/loop_free/conditioning/twocoins.pgcl similarity index 100% rename from pgfexamples/inference/twocoins.pgcl rename to pgfexamples/inference/loop_free/conditioning/twocoins.pgcl diff --git a/pgfexamples/inference/undefined_normalization.pgcl b/pgfexamples/inference/loop_free/conditioning/undefined_normalization.pgcl similarity index 100% rename from pgfexamples/inference/undefined_normalization.pgcl rename to pgfexamples/inference/loop_free/conditioning/undefined_normalization.pgcl diff --git a/pgfexamples/inference/dnd_handicap.pgcl b/pgfexamples/inference/loop_free/dnd_handicap.pgcl similarity index 100% rename from pgfexamples/inference/dnd_handicap.pgcl rename to pgfexamples/inference/loop_free/dnd_handicap.pgcl diff --git a/pgfexamples/inference/function.pgcl b/pgfexamples/inference/loop_free/function.pgcl similarity index 100% rename from pgfexamples/inference/function.pgcl rename to pgfexamples/inference/loop_free/function.pgcl diff --git a/pgfexamples/inference/fuzzy_or.pgcl b/pgfexamples/inference/loop_free/fuzzy_or.pgcl similarity index 100% rename from pgfexamples/inference/fuzzy_or.pgcl rename to pgfexamples/inference/loop_free/fuzzy_or.pgcl diff --git a/pgfexamples/inference/max.pgcl b/pgfexamples/inference/loop_free/max.pgcl similarity index 100% rename from pgfexamples/inference/max.pgcl rename to pgfexamples/inference/loop_free/max.pgcl diff --git a/pgfexamples/inference/monty_hall.pgcl b/pgfexamples/inference/loop_free/monty_hall.pgcl similarity index 100% rename from pgfexamples/inference/monty_hall.pgcl rename to pgfexamples/inference/loop_free/monty_hall.pgcl diff --git a/pgfexamples/inference/pi.pgcl b/pgfexamples/inference/loop_free/pi.pgcl similarity index 100% rename from pgfexamples/inference/pi.pgcl rename to pgfexamples/inference/loop_free/pi.pgcl diff --git a/pgfexamples/inference/piranha.pgcl b/pgfexamples/inference/loop_free/piranha.pgcl similarity index 100% rename from pgfexamples/inference/piranha.pgcl rename to pgfexamples/inference/loop_free/piranha.pgcl diff --git a/pgfexamples/ISSAC/poor_scale.pgcl b/pgfexamples/inference/loop_free/poor_scale.pgcl similarity index 100% rename from pgfexamples/ISSAC/poor_scale.pgcl rename to pgfexamples/inference/loop_free/poor_scale.pgcl diff --git a/pgfexamples/ISSAC/prob_collatz.pgcl b/pgfexamples/inference/loop_free/prob_collatz.pgcl similarity index 100% rename from pgfexamples/ISSAC/prob_collatz.pgcl rename to pgfexamples/inference/loop_free/prob_collatz.pgcl diff --git a/pgfexamples/scalability.pgcl b/pgfexamples/inference/loop_free/scalability.pgcl similarity index 100% rename from pgfexamples/scalability.pgcl rename to pgfexamples/inference/loop_free/scalability.pgcl diff --git a/pgfexamples/ISSAC/dep_bern.pgcl b/pgfexamples/inference/loopy/conditioning/dep_bern.pgcl similarity index 100% rename from pgfexamples/ISSAC/dep_bern.pgcl rename to pgfexamples/inference/loopy/conditioning/dep_bern.pgcl diff --git a/pgfexamples/ISSAC/trivial_iid.pgcl b/pgfexamples/inference/loopy/conditioning/trivial_iid.pgcl similarity index 100% rename from pgfexamples/ISSAC/trivial_iid.pgcl rename to pgfexamples/inference/loopy/conditioning/trivial_iid.pgcl diff --git a/pgfexamples/ISSAC/dueling_cowboys.pgcl b/pgfexamples/inference/loopy/dueling_cowboys.pgcl similarity index 100% rename from pgfexamples/ISSAC/dueling_cowboys.pgcl rename to pgfexamples/inference/loopy/dueling_cowboys.pgcl diff --git a/pgfexamples/inference/skip_exceeding_sum.pgcl b/pgfexamples/inference/loopy/skip_exceeding_sum.pgcl similarity index 100% rename from pgfexamples/inference/skip_exceeding_sum.pgcl rename to pgfexamples/inference/loopy/skip_exceeding_sum.pgcl diff --git a/pgfexamples/inference/skip_geom_dist.pgcl b/pgfexamples/inference/loopy/skip_geom_dist.pgcl similarity index 100% rename from pgfexamples/inference/skip_geom_dist.pgcl rename to pgfexamples/inference/loopy/skip_geom_dist.pgcl diff --git a/pgfexamples/inference/skip_random_walk.pgcl b/pgfexamples/inference/loopy/skip_random_walk.pgcl similarity index 100% rename from pgfexamples/inference/skip_random_walk.pgcl rename to pgfexamples/inference/loopy/skip_random_walk.pgcl diff --git a/pgfexamples/uniform_sampling.pgcl b/pgfexamples/inference/loopy/uniform_sampling.pgcl similarity index 100% rename from pgfexamples/uniform_sampling.pgcl rename to pgfexamples/inference/loopy/uniform_sampling.pgcl diff --git a/pgfexamples/loopy/17_die_even.pgcl b/pgfexamples/loop_equivalence/17_die_even.pgcl similarity index 100% rename from pgfexamples/loopy/17_die_even.pgcl rename to pgfexamples/loop_equivalence/17_die_even.pgcl diff --git a/pgfexamples/equivalence/bit_flip_conditioning.pgcl b/pgfexamples/loop_equivalence/bit_flip_conditioning.pgcl similarity index 100% rename from pgfexamples/equivalence/bit_flip_conditioning.pgcl rename to pgfexamples/loop_equivalence/bit_flip_conditioning.pgcl diff --git a/pgfexamples/equivalence/condand.pgcl b/pgfexamples/loop_equivalence/condand.pgcl similarity index 100% rename from pgfexamples/equivalence/condand.pgcl rename to pgfexamples/loop_equivalence/condand.pgcl diff --git a/pgfexamples/equivalence/dep_bern.pgcl b/pgfexamples/loop_equivalence/dep_bern.pgcl similarity index 100% rename from pgfexamples/equivalence/dep_bern.pgcl rename to pgfexamples/loop_equivalence/dep_bern.pgcl diff --git a/pgfexamples/equivalence/endless_conditioning.pgcl b/pgfexamples/loop_equivalence/endless_conditioning.pgcl similarity index 100% rename from pgfexamples/equivalence/endless_conditioning.pgcl rename to pgfexamples/loop_equivalence/endless_conditioning.pgcl diff --git a/pgfexamples/equivalence/geometric.pgcl b/pgfexamples/loop_equivalence/geometric.pgcl similarity index 100% rename from pgfexamples/equivalence/geometric.pgcl rename to pgfexamples/loop_equivalence/geometric.pgcl diff --git a/pgfexamples/equivalence/geometric_observe.pgcl b/pgfexamples/loop_equivalence/geometric_observe.pgcl similarity index 100% rename from pgfexamples/equivalence/geometric_observe.pgcl rename to pgfexamples/loop_equivalence/geometric_observe.pgcl diff --git a/pgfexamples/equivalence/geometric_observe_invariant.pgcl b/pgfexamples/loop_equivalence/geometric_observe_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/geometric_observe_invariant.pgcl rename to pgfexamples/loop_equivalence/geometric_observe_invariant.pgcl diff --git a/pgfexamples/equivalence/geometric_shifted.pgcl b/pgfexamples/loop_equivalence/geometric_shifted.pgcl similarity index 100% rename from pgfexamples/equivalence/geometric_shifted.pgcl rename to pgfexamples/loop_equivalence/geometric_shifted.pgcl diff --git a/pgfexamples/loopy/17_die_even_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/17_die_even_invariant.pgcl similarity index 100% rename from pgfexamples/loopy/17_die_even_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/17_die_even_invariant.pgcl diff --git a/pgfexamples/equivalence/bit_flip_conditioning_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/bit_flip_conditioning_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/bit_flip_conditioning_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/bit_flip_conditioning_invariant.pgcl diff --git a/pgfexamples/equivalence/condand_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/condand_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/condand_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/condand_invariant.pgcl diff --git a/pgfexamples/equivalence/dep_bern_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/dep_bern_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/dep_bern_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/dep_bern_invariant.pgcl diff --git a/pgfexamples/equivalence/endless_conditioning_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/endless_conditioning_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/endless_conditioning_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/endless_conditioning_invariant.pgcl diff --git a/pgfexamples/ISSAC/geometric_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/geometric_invariant.pgcl similarity index 100% rename from pgfexamples/ISSAC/geometric_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/geometric_invariant.pgcl diff --git a/pgfexamples/equivalence/geometric_shifted_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/geometric_shifted_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/geometric_shifted_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/geometric_shifted_invariant.pgcl diff --git a/pgfexamples/equivalence/ky_die_2_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/ky_die_2_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/ky_die_2_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/ky_die_2_invariant.pgcl diff --git a/pgfexamples/equivalence/ky_die_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/ky_die_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/ky_die_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/ky_die_invariant.pgcl diff --git a/pgfexamples/equivalence/n_geometric_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/n_geometric_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/n_geometric_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/n_geometric_invariant.pgcl diff --git a/pgfexamples/nested_while_inv_inner.pgcl b/pgfexamples/loop_equivalence/invariants/nested_while_inv_inner.pgcl similarity index 100% rename from pgfexamples/nested_while_inv_inner.pgcl rename to pgfexamples/loop_equivalence/invariants/nested_while_inv_inner.pgcl diff --git a/pgfexamples/nested_while_inv_outer.pgcl b/pgfexamples/loop_equivalence/invariants/nested_while_inv_outer.pgcl similarity index 100% rename from pgfexamples/nested_while_inv_outer.pgcl rename to pgfexamples/loop_equivalence/invariants/nested_while_inv_outer.pgcl diff --git a/pgfexamples/ISSAC/random_walk_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/random_walk_invariant.pgcl similarity index 100% rename from pgfexamples/ISSAC/random_walk_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/random_walk_invariant.pgcl diff --git a/pgfexamples/equivalence/rejection_sampling_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/rejection_sampling_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/rejection_sampling_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/rejection_sampling_invariant.pgcl diff --git a/pgfexamples/equivalence/running_paper_example_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/running_paper_example_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/running_paper_example_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/running_paper_example_invariant.pgcl diff --git a/pgfexamples/sequential_loops_first_inv.pgcl b/pgfexamples/loop_equivalence/invariants/sequential_loops_first_inv.pgcl similarity index 100% rename from pgfexamples/sequential_loops_first_inv.pgcl rename to pgfexamples/loop_equivalence/invariants/sequential_loops_first_inv.pgcl diff --git a/pgfexamples/sequential_loops_second_inv.pgcl b/pgfexamples/loop_equivalence/invariants/sequential_loops_second_inv.pgcl similarity index 100% rename from pgfexamples/sequential_loops_second_inv.pgcl rename to pgfexamples/loop_equivalence/invariants/sequential_loops_second_inv.pgcl diff --git a/pgfexamples/equivalence/skip_rejection_sampling_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/skip_rejection_sampling_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/skip_rejection_sampling_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/skip_rejection_sampling_invariant.pgcl diff --git a/pgfexamples/equivalence/trivial_iid_invariant.pgcl b/pgfexamples/loop_equivalence/invariants/trivial_iid_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/trivial_iid_invariant.pgcl rename to pgfexamples/loop_equivalence/invariants/trivial_iid_invariant.pgcl diff --git a/pgfexamples/equivalence/ky_die.pgcl b/pgfexamples/loop_equivalence/ky_die.pgcl similarity index 100% rename from pgfexamples/equivalence/ky_die.pgcl rename to pgfexamples/loop_equivalence/ky_die.pgcl diff --git a/pgfexamples/equivalence/ky_die_2.pgcl b/pgfexamples/loop_equivalence/ky_die_2.pgcl similarity index 100% rename from pgfexamples/equivalence/ky_die_2.pgcl rename to pgfexamples/loop_equivalence/ky_die_2.pgcl diff --git a/pgfexamples/equivalence/n_geometric.pgcl b/pgfexamples/loop_equivalence/n_geometric.pgcl similarity index 100% rename from pgfexamples/equivalence/n_geometric.pgcl rename to pgfexamples/loop_equivalence/n_geometric.pgcl diff --git a/pgfexamples/nested_while.pgcl b/pgfexamples/loop_equivalence/nested_while.pgcl similarity index 100% rename from pgfexamples/nested_while.pgcl rename to pgfexamples/loop_equivalence/nested_while.pgcl diff --git a/pgfexamples/equivalence/random_walk.pgcl b/pgfexamples/loop_equivalence/random_walk.pgcl similarity index 100% rename from pgfexamples/equivalence/random_walk.pgcl rename to pgfexamples/loop_equivalence/random_walk.pgcl diff --git a/pgfexamples/equivalence/running_paper_example.pgcl b/pgfexamples/loop_equivalence/running_paper_example.pgcl similarity index 100% rename from pgfexamples/equivalence/running_paper_example.pgcl rename to pgfexamples/loop_equivalence/running_paper_example.pgcl diff --git a/pgfexamples/sequential_loops.pgcl b/pgfexamples/loop_equivalence/sequential_loops.pgcl similarity index 100% rename from pgfexamples/sequential_loops.pgcl rename to pgfexamples/loop_equivalence/sequential_loops.pgcl diff --git a/pgfexamples/equivalence/skip_rejection_sampling.pgcl b/pgfexamples/loop_equivalence/skip_rejection_sampling.pgcl similarity index 100% rename from pgfexamples/equivalence/skip_rejection_sampling.pgcl rename to pgfexamples/loop_equivalence/skip_rejection_sampling.pgcl diff --git a/pgfexamples/equivalence/trivial_iid.pgcl b/pgfexamples/loop_equivalence/trivial_iid.pgcl similarity index 100% rename from pgfexamples/equivalence/trivial_iid.pgcl rename to pgfexamples/loop_equivalence/trivial_iid.pgcl diff --git a/pgfexamples/equivalence/bit_flip_conditioning_generalized_parameter.pgcl b/pgfexamples/template_parameter_synthesis/bit_flip_conditioning_generalized_parameter.pgcl similarity index 100% rename from pgfexamples/equivalence/bit_flip_conditioning_generalized_parameter.pgcl rename to pgfexamples/template_parameter_synthesis/bit_flip_conditioning_generalized_parameter.pgcl diff --git a/pgfexamples/equivalence/bit_flip_conditioning_parameter.pgcl b/pgfexamples/template_parameter_synthesis/bit_flip_conditioning_parameter.pgcl similarity index 100% rename from pgfexamples/equivalence/bit_flip_conditioning_parameter.pgcl rename to pgfexamples/template_parameter_synthesis/bit_flip_conditioning_parameter.pgcl diff --git a/pgfexamples/equivalence/brp_obs_parameter.pgcl b/pgfexamples/template_parameter_synthesis/brp_obs_parameter.pgcl similarity index 100% rename from pgfexamples/equivalence/brp_obs_parameter.pgcl rename to pgfexamples/template_parameter_synthesis/brp_obs_parameter.pgcl diff --git a/pgfexamples/equivalence/dueling_cowboys_parameter.pgcl b/pgfexamples/template_parameter_synthesis/dueling_cowboys_parameter.pgcl similarity index 100% rename from pgfexamples/equivalence/dueling_cowboys_parameter.pgcl rename to pgfexamples/template_parameter_synthesis/dueling_cowboys_parameter.pgcl diff --git a/pgfexamples/equivalence/geometric_observe_parameter.pgcl b/pgfexamples/template_parameter_synthesis/geometric_observe_parameter.pgcl similarity index 100% rename from pgfexamples/equivalence/geometric_observe_parameter.pgcl rename to pgfexamples/template_parameter_synthesis/geometric_observe_parameter.pgcl diff --git a/pgfexamples/ISSAC/geometric_parameter.pgcl b/pgfexamples/template_parameter_synthesis/geometric_parameter.pgcl similarity index 100% rename from pgfexamples/ISSAC/geometric_parameter.pgcl rename to pgfexamples/template_parameter_synthesis/geometric_parameter.pgcl diff --git a/pgfexamples/equivalence/bit_flip_conditioning_generalized_parameter_invariant.pgcl b/pgfexamples/template_parameter_synthesis/invariants/bit_flip_conditioning_generalized_parameter_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/bit_flip_conditioning_generalized_parameter_invariant.pgcl rename to pgfexamples/template_parameter_synthesis/invariants/bit_flip_conditioning_generalized_parameter_invariant.pgcl diff --git a/pgfexamples/equivalence/bit_flip_conditioning_parameter_invariant.pgcl b/pgfexamples/template_parameter_synthesis/invariants/bit_flip_conditioning_parameter_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/bit_flip_conditioning_parameter_invariant.pgcl rename to pgfexamples/template_parameter_synthesis/invariants/bit_flip_conditioning_parameter_invariant.pgcl diff --git a/pgfexamples/equivalence/brp_obs_parameter_invariant.pgcl b/pgfexamples/template_parameter_synthesis/invariants/brp_obs_parameter_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/brp_obs_parameter_invariant.pgcl rename to pgfexamples/template_parameter_synthesis/invariants/brp_obs_parameter_invariant.pgcl diff --git a/pgfexamples/equivalence/dueling_cowboys_parameter_invariant.pgcl b/pgfexamples/template_parameter_synthesis/invariants/dueling_cowboys_parameter_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/dueling_cowboys_parameter_invariant.pgcl rename to pgfexamples/template_parameter_synthesis/invariants/dueling_cowboys_parameter_invariant.pgcl diff --git a/pgfexamples/equivalence/geometric_observe_parameter_invariant.pgcl b/pgfexamples/template_parameter_synthesis/invariants/geometric_observe_parameter_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/geometric_observe_parameter_invariant.pgcl rename to pgfexamples/template_parameter_synthesis/invariants/geometric_observe_parameter_invariant.pgcl diff --git a/pgfexamples/ISSAC/geometric_parameter_invariant.pgcl b/pgfexamples/template_parameter_synthesis/invariants/geometric_parameter_invariant.pgcl similarity index 100% rename from pgfexamples/ISSAC/geometric_parameter_invariant.pgcl rename to pgfexamples/template_parameter_synthesis/invariants/geometric_parameter_invariant.pgcl diff --git a/pgfexamples/equivalence/ky_die_parameter_invariant.pgcl b/pgfexamples/template_parameter_synthesis/invariants/ky_die_parameter_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/ky_die_parameter_invariant.pgcl rename to pgfexamples/template_parameter_synthesis/invariants/ky_die_parameter_invariant.pgcl diff --git a/pgfexamples/equivalence/n_geometric_parameter_invariant.pgcl b/pgfexamples/template_parameter_synthesis/invariants/n_geometric_parameter_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/n_geometric_parameter_invariant.pgcl rename to pgfexamples/template_parameter_synthesis/invariants/n_geometric_parameter_invariant.pgcl diff --git a/pgfexamples/equivalence/negative_binomial_parameter_invariant.pgcl b/pgfexamples/template_parameter_synthesis/invariants/negative_binomial_parameter_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/negative_binomial_parameter_invariant.pgcl rename to pgfexamples/template_parameter_synthesis/invariants/negative_binomial_parameter_invariant.pgcl diff --git a/pgfexamples/equivalence/negative_binomial_reversed_parameter_invariant.pgcl b/pgfexamples/template_parameter_synthesis/invariants/negative_binomial_reversed_parameter_invariant.pgcl similarity index 100% rename from pgfexamples/equivalence/negative_binomial_reversed_parameter_invariant.pgcl rename to pgfexamples/template_parameter_synthesis/invariants/negative_binomial_reversed_parameter_invariant.pgcl diff --git a/pgfexamples/ISSAC/random_walk_parameter_invariant.pgcl b/pgfexamples/template_parameter_synthesis/invariants/random_walk_parameter_invariant.pgcl similarity index 100% rename from pgfexamples/ISSAC/random_walk_parameter_invariant.pgcl rename to pgfexamples/template_parameter_synthesis/invariants/random_walk_parameter_invariant.pgcl diff --git a/pgfexamples/equivalence/ky_die_parameter.pgcl b/pgfexamples/template_parameter_synthesis/ky_die_parameter.pgcl similarity index 100% rename from pgfexamples/equivalence/ky_die_parameter.pgcl rename to pgfexamples/template_parameter_synthesis/ky_die_parameter.pgcl diff --git a/pgfexamples/equivalence/n_geometric_parameter.pgcl b/pgfexamples/template_parameter_synthesis/n_geometric_parameter.pgcl similarity index 100% rename from pgfexamples/equivalence/n_geometric_parameter.pgcl rename to pgfexamples/template_parameter_synthesis/n_geometric_parameter.pgcl diff --git a/pgfexamples/equivalence/negative_binomial_parameter.pgcl b/pgfexamples/template_parameter_synthesis/negative_binomial_parameter.pgcl similarity index 100% rename from pgfexamples/equivalence/negative_binomial_parameter.pgcl rename to pgfexamples/template_parameter_synthesis/negative_binomial_parameter.pgcl diff --git a/pgfexamples/equivalence/negative_binomial_reversed_parameter.pgcl b/pgfexamples/template_parameter_synthesis/negative_binomial_reversed_parameter.pgcl similarity index 100% rename from pgfexamples/equivalence/negative_binomial_reversed_parameter.pgcl rename to pgfexamples/template_parameter_synthesis/negative_binomial_reversed_parameter.pgcl diff --git a/pgfexamples/equivalence/random_walk_parameter.pgcl b/pgfexamples/template_parameter_synthesis/random_walk_parameter.pgcl similarity index 100% rename from pgfexamples/equivalence/random_walk_parameter.pgcl rename to pgfexamples/template_parameter_synthesis/random_walk_parameter.pgcl diff --git a/pgfexamples/inference/telephone_operator_param.pgcl b/pgfexamples/template_parameter_synthesis/telephone_operator_parameter.pgcl similarity index 99% rename from pgfexamples/inference/telephone_operator_param.pgcl rename to pgfexamples/template_parameter_synthesis/telephone_operator_parameter.pgcl index 0d020a1..6241038 100644 --- a/pgfexamples/inference/telephone_operator_param.pgcl +++ b/pgfexamples/template_parameter_synthesis/telephone_operator_parameter.pgcl @@ -14,5 +14,3 @@ observe(d=5) // we have observed 5 phone calls. ?Ex[x] //!Plot[x, d] !Print - -