| _a [Tests] | |
| _b [Tests] | |
| _e [Tests] | |
| _if [Tests] |
An "if statement".
|
| _let [Tests] |
"let x = a in b" is handled as sugar.
|
| _not [Tests] |
"not", treating 0 and 1 as Booleans.
|
A | |
| alarm [Tests] |
The alarm example.
|
B | |
| burglar [Tests] | |
C | |
| case0 [Tests] | |
| case1 [Tests] | |
| case2 [Tests] | |
| church1 [Tests] | |
| church2 [Tests] | |
| coin [Tests] |
A coin flip.
|
| contains_var [Prob_lang] |
Tests if a term contains a variable.
|
D | |
| dist [Prob_lang] |
Computes the distribution of values of a term.
|
| dist_apply [Prob_lang] |
Computes the distribution of a function application.
|
E | |
| earthquake [Tests] | |
F | |
| f [Tests] | |
| ff [Tests] |
...
|
| foo [Tests] |
Test of combination of _let and _if.
|
I | |
| id [Tests] |
example of a function which uses its arg.
|
| if0 [Tests] | |
| if1 [Tests] | |
K | |
| k5 [Tests] |
example of a function which doesn't use its arg.
|
M | |
| main [Tests] |
Runs all the tests.
|
P | |
| print_dist [Tests] |
Prints a distribution.
|
R | |
| run_example [Tests] |
Computes the distribution for one term, and prints it.
|
S | |
| simplify_dist [Prob_lang] |
Simplifies a distribution.
|
| subst [Prob_lang] |
Substitution.
|
T | |
| t [Tests] | |
| term_to_string [Prob_lang] |
Printing terms (only works for constants for now)
|
| test1 [Tests] |
A query using the alarm network.
|
| tt [Tests] |
Church boolean "true" ...
|
W | |
| weight_dist [Prob_lang] |
Weights a distribution by some amount.
|
X | |
| x [Tests] |