void 
Compass_check_ap_list(
  TypeChecker_ptr  tc, 
  NodeList_ptr  list 
)
Checks semantics of given atomic proposition list

Defined in compile.c

void 
Compass_check_prob_list(
  TypeChecker_ptr  tc, 
  NodeList_ptr  list 
)
Checks semantics of given probabilistic list

Defined in compile.c

add_ptr 
Compass_process_prob_list(
  BddEnc_ptr  enc, 
  NodeList_ptr  list, 
  add_ptr  trans 
)
list is assumed to be already checked here. Returned add is referenced

Defined in compile.c

Last updated on 2011/04/06 21h:12