void Hrc_DumpModel( HrcNode_ptr hrcNode, HrcDumper_ptr dumper )
void Hrc_WriteModel( HrcNode_ptr hrcNode, FILE * ofile, boolean append_suffix )
void Hrc_init_cmd( )
void Hrc_init( )
TracePkg_quit
void Hrc_quit_cmd( )
void Hrc_quit( )
TracePkg_init
void hrc_dump_compile_info( HrcNode_ptr hrcNode, HrcDumper_ptr dumper, HrcDumperInfo* info )
void hrc_dump_module_instance( HrcNode_ptr hrcNode, HrcDumper_ptr dumper, HrcDumperInfo* info, hash_ptr printed_module_map )
node_ptr hrc_prefix_utils_add_context( node_ptr context, node_ptr expression )
node_ptr hrc_prefix_utils_assign_module_name( HrcNode_ptr instance, node_ptr instance_name )
node_ptr hrc_prefix_utils_flatten_instance_name( HrcNode_ptr instance )
node_ptr hrc_prefix_utils_get_first_subcontext( node_ptr symbol )
Set_t hrc_prefix_utils_get_prefix_symbols( Set_t symbol_set, node_ptr prefix )
boolean hrc_prefix_utils_is_subprefix( node_ptr subprefix, node_ptr prefix )
node_ptr hrc_prefix_utils_remove_context( node_ptr identifier, node_ptr context )
boolean hrc_write_assign_list( FILE* out, int assign_node_type, node_ptr assign_list )
boolean hrc_write_constants( FILE * out, node_ptr constants_list )
void hrc_write_declare_module_variables( FILE * ofile, HrcNode_ptr child, st_table* printed_module_map, boolean append_suffix )
boolean hrc_write_expr_split( FILE* out, node_ptr n, const char* s )
void hrc_write_expr( FILE* out, node_ptr n, const char* s )
void hrc_write_module_instance( FILE * ofile, HrcNode_ptr hrcNode, st_table* printed_module_map, boolean append_suffix )
void hrc_write_parameters( FILE* ofile, node_ptr parameters_list )
void hrc_write_print_array_defines( FILE* out, HrcNode_ptr hrcNode )
void hrc_write_print_assign( FILE * out, node_ptr lhs, node_ptr rhs )
void hrc_write_print_defines( FILE* out, HrcNode_ptr hrcNode )
void hrc_write_print_var_list( FILE* out, node_ptr var_list )
void hrc_write_print_vars( FILE* out, HrcNode_ptr hrcNode )
void hrc_write_spec_pair_list( FILE* out, node_ptr pair_list, char* section_name )
boolean hrc_write_spec_split( FILE* out, node_ptr n, const char* s )
void hrc_write_specifications( FILE* out, HrcNode_ptr hrcNode )
void hrc_write_spec( FILE* out, node_ptr spec, const char* msg )