Compass_check_ap_list()
Checks semantics of given atomic proposition list
Compass_check_prob_list()
Checks semantics of given probabilistic list
Compass_process_prob_list()

Last updated on 2010/05/19 15h:56