int Compass_print_add_sigref_format( DdManager* dd, add_ptr add, FILE* file, boolean do_indent )
sigrefWrite.c
int Compass_write_language_sigref( BddEnc_ptr enc, FILE* file )
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 )
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 )
sigrefWrite.c