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