int 
Compass_print_add_sigref_format(
  DdManager* dd, 
  add_ptr  add, 
  FILE* file, 
  boolean  do_indent 
)
Returns 0 if successful, a negative number if an occurs

Defined in sigrefWrite.c

int 
Compass_write_language_sigref(
  BddEnc_ptr  enc, 
  FILE* file 
)
Returns 0 if successful, a negative number if an occurs

Defined in sigrefWrite.c

void 
Compass_write_sigref(
  FILE* file, 
  BddFsm_ptr  fsm, 
  NodeList_ptr  probs_list, 
  Expr_ptr  tau, 
  NodeList_ptr  ap_list, 
  boolean  do_indent Beautify the XML output
)

Defined in sigrefWrite.c

static int 
compass_print_add_child_sigref(
  DdManager* dd, 
  add_ptr  add, 
  FILE* file, 
  int  indent, 
  const char* child_tag, 
  hash_ptr  hash, 
  boolean  do_indent 
)
Returns 0 if successful, a negative number if an occurs

Defined in sigrefWrite.c

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