Predicates List

MCINTYRE

• mc_prob/2
• mc_prob/3
• mc_rejection_sample/5
• mc_rejection_sample/4
• mc_sample/3
• mc_sample/4
• mc_sample_arg/4
• mc_sample_arg/5
• mc_mh_sample/4
• mc_mh_sample/5
• mc_lw_sample/4
• mc_gibbs_sample/5
• mc_gibbs_sample/4
• mc_gibbs_sample/3
• mc_rejection_sample_arg/6
• mc_rejection_sample_arg/5
• mc_mh_sample_arg/5
• mc_mh_sample_arg/6
• mc_gibbs_sample_arg/4
• mc_gibbs_sample_arg/5
• mc_gibbs_sample_arg/6
• mc_sample_arg_first/4
• mc_sample_arg_first/5
• mc_sample_arg_one/4
• mc_sample_arg_one/5
• mc_sample_arg_raw/4
• mc_expectation/4
• mc_mh_expectation/5
• mc_mh_expectation/6
• mc_gibbs_expectation/4
• mc_gibbs_expectation/5
• mc_gibbs_expectation/6
• mc_rejection_expectation/5
• set_mc/2`setting_mc/2
• mc_load_file/1
• mc_load/1
• take_a_sample/5
• sample_head/5
• mc_lw_sample_arg/5
• mc_lw_sample_arg_log/5
• mc_lw_expectation/5
• mc_particle_sample_arg/5
• mc_particle_expectation/5
• gaussian/5
• gaussian/4
• add_prob/3
• ~= /2
• swap/2
• msw/2
• set_sw/2

PITA

• prob/2
• prob/3
• prob_meta/2
• prob_meta/3
• abd_prob/3
• vit_prob/3
• bdd_dot_file/3
• bdd_dot_string/3
• abd_bdd_dot_string/4
• abd_bdd_dot_string/6
• map_bdd_dot_string/6
• map/3
• vit_bdd_dot_string/5
• setting_pita/2
• setting_pita/2
• get_var_n/6
• get_abd_var_n/6
• get_dec_var_n/5
• load_file/1
• load_file/1
• dt_solve/2
• msw/4
• msw/5