OrdGroups_ptr 
enc_utils_create_vars_ord_groups(
  BoolEnc_ptr  bool_enc, 
  NodeList_ptr  vars 
)
The returned instance belongs to the caller. It is a caller's responsability to destroy it.


OrdGroups_ptr 
enc_utils_parse_ordering_file(
  const char* order_filename, 
  const BoolEnc_ptr  bool_enc 
)
The returned instance belongs to the caller. It is a caller's responsability to destroy it. order_filename can be NULL


Last updated on 2012/11/18 14h:16