/* * Note: parameters are always refreshed in advance by $pc_export_sw_info/1, * so it causes no problem to overwrite them temporarily */ int pc_compute_n_viterbi_rerank_4(void) { TERM p_n_viterbi_list; int n,l,goal_id; n = bpx_get_integer(bpx_get_call_arg(1,4)); l = bpx_get_integer(bpx_get_call_arg(2,4)); goal_id = bpx_get_integer(bpx_get_call_arg(3,4)); initialize_egraph_index(); alloc_sorted_egraph(1); /* INIT_MIN_MAX_NODE_NOS; */ RET_ON_ERR(sort_one_egraph(goal_id,0,1)); if (verb_graph) print_egraph(0,PRINT_NEUTRAL); alloc_occ_switches(); transfer_hyperparams_prolog(); get_param_means(); compute_n_max(l); get_n_most_likely_path_rerank(n,l,goal_id,&p_n_viterbi_list); release_occ_switches(); return bpx_unify(bpx_get_call_arg(4,4),p_n_viterbi_list); }
int pc_prism_both_vt_2(void) { struct VBVT_Engine vbvt_eng; RET_ON_ERR(check_smooth_vb()); RET_ON_ERR(run_vbvt(&vbvt_eng)); get_param_means(); return bpx_unify(bpx_get_call_arg(1,2), bpx_build_integer(vbvt_eng.iterate)) && bpx_unify(bpx_get_call_arg(2,2), bpx_build_float(vbvt_eng.free_energy)); }