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 2011/04/06 21h:13