JavaScript is disabledSite Map

net package abstract (Internal)

net_alloc_debug(): Allocates a new debug_t structure.
net_alloc_file_line(): Allocates a new file_line_t structure.
net_alloc_node(): Allocates a new net_node_t structure.
net_alloc_trel_out(): Allocates a new trel_out_t structure.
net_alloc_trel(): Allocates a new trel_t structure.
net_alloc_var(): Allocates a new net_var_t structure.
net_dup_array_of_char(): Duplicates an array of strings.
net_dup_array_of_file_line(): Duplicates an array of file_line_t structures.
net_dup_array_of_node_pointer(): Duplicates an array of pointers to nodes.
net_dup_attributes(): Duplicates the symbol table of attributes.
net_dup_debug(): Duplicates the debug_t structure.
net_dup_file_line(): Duplicates a file_line_t structure.
net_dup_get_node_copy(): Returns the copy node.
net_dup_get_node_original(): Returns the original node.
net_dup_get_var_copy(): Returns the copy variable.
net_dup_get_var_original(): Returns the original variable.
net_dup_node_hierarchy(): Duplicates the hierarchy pointed by a node.
net_dup_node_pointer(): Duplicates all fields of a node which are pointers to other nodes or variables.
net_dup_node_struct(): Duplicates all fields of a node which are not pointers to other nodes or variables.
net_dup_node(): Duplicates the node.
net_dup_trel_init(): Duplicates the table of initial values of outputs of the tarnsition relation.
net_dup_trel(): Duplicates a trel_t structure.
net_dup_var_pointer(): Duplicates all fields of a variable which are pointers to other nodes or variables.
net_dup_var_struct(): Duplicates all fields of a variable which are not pointers to other nodes or variables.
net_dup_var_without_slot(): Duplicates the variable.
net_dup_var(): Duplicates the variable.
net_free_array_of_char(): Frees an array of strings.
net_free_array_of_file_line(): Frees an array of file_line_t structures.
net_free_array_of_inst(): Frees an array of instances.
net_free_array_of_node_pointer(): Frees an array of pointers to nodes.
net_free_array_of_node(): Frees an array of net_node_t structures.
net_free_array_of_trel_out(): Frees an array of trel_out_t structures.
net_free_array_of_var_pointer(): Frees an array of pointers to variables.
net_free_array_of_var(): Frees an array of net_var_t structures.
net_free_attributes(): Frees the symbol table of attributes.
net_free_debug(): Frees the debug_t structure.
net_free_file_line(): Frees a file_line_t structure.
net_free_node_hierarchy(): Frees the hierarchy pointed by a node.
net_free_node(): Frees the node.
net_free_trel_init(): Frees the table of initial values of outputs of the tarnsition relation.
net_free_trel_out(): Frees a trel_out_t structure.
net_free_trel(): Frees a trel_t structure.
net_free_var(): Frees the variable.
net_node_add_attribute_value(): Adds an attribute value to the node.
net_node_add_comp(): Adds a component to the node.
net_node_add_inst(): Adds a instance to the node.
net_node_add_trel_init(): Adds the array of initial values of a transition relation for a variable.
net_node_add_var(): Adds a variable to the node.
net_node_comp_by_index(): Returns the indexed component of a node.
net_node_comp_by_name(): Returns the named component of a node.
net_node_const_by_index(): Returns the indexed constant variable of a node.
net_node_const_by_name(): Returns the named constant variable of a node.
net_node_const_index(): Returns the index of a constant variable of a node.
net_node_create_set_trel(): Creates and sets the transition relation structure of a node.
net_node_debug_add_file_line(): Adds a file_line structure to the debug structure.
net_node_debug_orig_name(): Returns the original name of a debug structure of a node.
net_node_debug_set_orig_name(): Sets the original name of a debug structure of a node.
net_node_debug(): Returns the debug structure of a node.
net_node_del_comp(): Deletes a component from the node.
net_node_del_inst(): Deletes a instance from the node.
net_node_del_var(): Deletes a variable from the node.
net_node_fanin_by_index(): Returns the indexed fanin variable of a node.
net_node_fanin_by_name(): Returns the named fanin variable of a node.
net_node_fanin_index(): Returns the index of a fanin variable of a node.
net_node_fanout_by_index(): Returns the indexed fanout variable of a node.
net_node_fanout_by_name(): Returns the named fanout variable of a node.
net_node_fanout_index(): Returns the index of a fanout variable of a node.
net_node_file_line_file_name(): Returns the file name of a file_line structure.
net_node_file_line_file_type(): Returns the file type of a file_line structure.
net_node_file_line_line_num(): Returns the line number of a file_line structure.
net_node_file_line_set_file_name(): Sets the file name of a file_line structure.
net_node_file_line_set_file_type(): Sets the file type of a file_line structure.
net_node_file_line_set_line_num(): Sets the line number of a file_line structure.
net_node_flag(): Returns the flag of a node.
net_node_free_st_key(): Frees symbol table key.
net_node_get_attribute_value_list(): Returns the array of values of an attribute of a node.
net_node_get_first_attribute_value(): Returns the first value of an attribute of a node.
net_node_get_formal_variable(): Returns the formal variable of a variable.
net_node_has_attribute_value(): Returns 1 if a node has the given attribute and value, else returns 0.
net_node_implem_e_to_str(): Converts implementation given as an implem_e type number into string.
net_node_implem(): Returns the implementation of a node.
net_node_inst_by_index(): Returns the indexed instance of a node.
net_node_inst_by_name(): Returns the named instance of a node.
net_node_internal_by_index(): Returns the indexed internal variable of a node.
net_node_internal_by_name(): Returns the named internal variable of a node.
net_node_internal_index(): Returns the index of a internal variable of a node.
net_node_model(): Returns the model node of a node.
net_node_name(): Returns the name of a node.
net_node_number_of_comp(): Returns the number of components of a node.
net_node_number_of_const(): Returns the number of constant variables of a node.
net_node_number_of_fanin(): Returns the number of fanin variables of a node.
net_node_number_of_fanout(): Returns the number of fanout variables of a node.
net_node_number_of_inst(): Returns the number of instances of a node.
net_node_number_of_internal(): Returns the number of internal variables of a node.
net_node_number_of_state(): Returns the number of state variables of a node.
net_node_number_of_trans_in(): Returns the number of transition input variables of a node.
net_node_number_of_trans_out(): Returns the number of transition output variables of a node.
net_node_number_of_var(): Returns the number of variables of a node.
net_node_parent(): Returns the parent node of a node.
net_node_reset_attribute_value(): Resets an attribute value from the node.
net_node_reset_copy_all_var(): Resets copy flags of nodes of the entire hierarchy.
net_node_reset_copy_all(): Resets the copy flags of a node and its all variables.
net_node_reset_copy(): Resets the copy flag of a node.
net_node_reset_flag_all(): Resets flags of nodes of the entire hierarchy.
net_node_reset_flag(): Resets the flag of a node.
net_node_reset_implem(): Resets the implementation of a node.
net_node_set_attribute_value_list(): Sets the array of values of an attribute of a node.
net_node_set_debug(): Sets the debug structure of a node.
net_node_set_flag(): Sets the flag of a node.
net_node_set_implem(): Sets the implementation of a node.
net_node_set_model(): Sets the model node of a node.
net_node_set_name(): Sets the name of a node.
net_node_set_parent(): Sets the parent node of a node.
net_node_set_trel_init(): Sets the table of initial values of a transition relation.
net_node_set_trel_manager(): Sets the MDD manager of a transition relation.
net_node_set_trel_out_table(): Sets the table of trel_out structures of a transititon relation.
net_node_set_trel_out_type(): Sets the type of a trel_out structure.
net_node_set_trel_out_value(): Sets the value of a trel_out structure.
net_node_set_trel_out_var(): Sets the assigned variable of a trel_out structure.
net_node_set_trel_out(): Sets the trel_out (indexed by a _select value) of a CFSM output variable.
net_node_set_trel_trel(): Sets the MDD representation of a transition relation.
net_node_set_trel(): Sets the transition relation structure to a node.
net_node_set_type(): Sets the type of a node.
net_node_state_by_index(): Returns the indexed state variable of a node.
net_node_state_by_name(): Returns the named state variable of a node.
net_node_state_index(): Returns the index of a state variable of a node.
net_node_str_to_implem_e(): Converts implementation given as a string into implem_e type.
net_node_trans_in_by_index(): Returns the indexed transition input variable of a node.
net_node_trans_in_by_name(): Returns the named transition input variable of a node.
net_node_trans_in_index(): Returns the index of a transition input variable of a node.
net_node_trans_out_by_index(): Returns the indexed transition output variable of a node.
net_node_trans_out_by_name(): Returns the named transition output variable of a node.
net_node_trans_out_index(): Returns the index of a transition output variable of a node.
net_node_trel_init(): Returns the table of initial values of a transition relation.
net_node_trel_manager(): Returns the MDD manager of a transition relation.
net_node_trel_out_table(): Returns the table of trel_out structures of a transititon relation.
net_node_trel_out_type(): Returns the type of a trel_out structure.
net_node_trel_out_value(): Returns the value of a trel_out structure.
net_node_trel_out_var(): Returns the assigned variable of a trel_out structure.
net_node_trel_out(): Returns the trel_out (indexed by a _select value) of a CFSM output variable.
net_node_trel_trel(): Returns the MDD representation of a transition relation.
net_node_trel(): Returns the transition relation structure of a node.
net_node_type(): Returns the type of a node.
net_node_var_by_index(): Returns the indexed variable of a node.
net_node_var_by_name(): Returns the named variable of a node.
net_node_var_index(): Returns the index of a variable of a node.
net_print_node_atrb(): Prints the attributes of a node.
net_print_node_comp(): Prints the components of a node.
net_print_node_const(): Prints the constant variables of a node.
net_print_node_fanin(): Prints the fanin variables of a node.
net_print_node_fanout(): Prints the fanout variables of a node.
net_print_node_hierarchy_short(): Prints the entire data structure in a short way of hierarchy rooted by a node.
net_print_node_hierarchy(): Prints the entire data structure of hierarchy rooted by a node.
net_print_node_implem(): Prints the implementation of a node.
net_print_node_instance(): Prints the instances of a node.
net_print_node_internal(): Prints the internal variables of a node.
net_print_node_model(): Prints the model node of a node.
net_print_node_name(): Prints the name of a node.
net_print_node_parent(): Prints the parent node of a node.
net_print_node_short(): Prints the data structure in a short way of a node.
net_print_node_state(): Prints the state variables of a node.
net_print_node_trel(): Prints the look-up table of transition relation of a node.
net_print_node_type(): Prints the type of a node.
net_print_node(): Prints the entire data structure of a node.
net_print_var_assoc(): Prints the association of a variable.
net_print_var_const_value(): Prints the value of a constant variable.
net_print_var_fanin(): Prints the fanin variable of a variable.
net_print_var_fanout(): Prints the fanout variables of a variable.
net_print_var_id(): Prints the identifier of a variable.
net_print_var_index(): Prints the index of a variable.
net_print_var_name(): Prints the name of a variable.
net_print_var_nbit(): Prints the number of representing bits of a variable.
net_print_var_node(): Prints the node the variable belongs to.
net_print_var_nval(): Prints the number of values of a variable.
net_print_var_short(): Prints the data structure in a short way of a variable.
net_print_var_type(): Prints the type of a variable.
net_print_var(): Prints the entire data structure of a variable.
net_util_all_comp_implem(): Returns the common implementation of subcomponents of a component NET node.
net_util_build_hierarchy(): Builds up the network of hierarchy of net nodes from a list of models.
net_util_cat_path_names(): Concatenates two strings inserting '/' between them.
net_util_cat_string(): Concatenates items of array of strings from an index.
net_util_cluster_comp(): Cluster the component node into a NET node.
net_util_cluster_root(): Cluster the components of root into two partitions "part_hw" and "part_sw".
net_util_comp_range(): Compares the ranges of two variables.
net_util_comp_trel_out(): Compares two transition relation outputs.
net_util_conn_check_hierarchy(): Checks connectivities of NET nodes in the hierarchy.
net_util_create_array_of_vars(): Returns the array of variables have the given type.
net_util_create_output_pattern_table(): Converts the outputs of look-up table into symbol table.
net_util_deterministic_cfsm_hierarchy(): Checks determinism of CFSM nodes of the hierarchy.
net_util_deterministic_cfsm(): Checks determinism of a CFSM node.
net_util_event_present_cfsm_hierarchy(): Checks presence of event variables in CFSM nodes of the hierarchy.
net_util_flatten_comp(): Flattens a NET component node.
net_util_flatten_hierarchy(): Flattens the hierarchy rotted by a node.
net_util_ilog2(): Returns the minimum number of bits required to encode the input.
net_util_index_of_var_by_type(): Returns the index of specified type variable of a node.
net_util_is_dont_care(): Tests don't care in a section of array.
net_util_map_var_value(): Maps the symbolic value into integer of a variable.
net_util_max_length_input_var_value(): Returns the maximum number of characters of possible values and name of a variable.
net_util_max_length_output_var_value(): Returns the maximum number of characters of possible values, assignments and name of the indexed variable.
net_util_mdd_cube_to_look_up_table(): Converts MDD cube into a set of multi valued cubes of look-up table.
net_util_mdd_literal(): Returns the MDD of (variable=value) expression.
net_util_mdd_to_multi_cube(): Converts MDD cube into multi valued cube.
net_util_min_power_two(): Returns the minimum power of two which contains the input.
net_util_node_by_index(): Returns indexed node located in array.
net_util_node_by_name(): Returns named node located in array.
net_util_number_of_var_by_type(): Returns the number of specified type variables of a node.
net_util_opt_comp_var(): Optimizes the fanin and fanout variables of a component NET node.
net_util_part_flatten(): Partition the hierarchy.
net_util_partition(): Partition the given hierarchy into HW and SW.
net_util_propagate_attribute_all_hierarchy(): Propagates all attributes in the hierarchy.
net_util_propagate_attribute_hierarchy(): Propagates a set of attributes in the hierarchy.
net_util_push_node_into_stack(): Pushes a node into stack.
net_util_range_check_hierarchy(): Compares the ranges of variables connected to each other in the hierarchy.
net_util_remap_var_value(): Remaps the integer value into symbolic value of a variable.
net_util_row_item_mdd_and(): Returns the MDD representation of a row of CFSM look-up table.
net_util_row_mdd_or(): Returns the MDD representation of a CFSM look-up table.
net_util_sem_check_hierarchy(): Performs semantic checks in the hierarchy.
net_util_set_constant_range(): Sets the range of a constant variable.
net_util_state_present_not_cfsm_hierarchy(): Checks presence of state variable in non CFSM nodes of the hierarchy.
net_util_traversal_recur(): Traverses the network of nodes given by root in a recursive way.
net_util_traversal(): Traverses the network of nodes given by root.
net_util_var_by_index(): Returns indexed variable located in array.
net_util_var_by_name(): Returns named variable located in array.
net_util_var_by_type_by_index(): Returns indexed, specified type variable of a node.
net_util_var_by_type_by_name(): Returns named, specified type variable of a node.
net_var_add_fanout(): Adds a fanout variable to the variable.
net_var_assoc_var(): Returns the associated variable of a variable.
net_var_const_value(): Returns the value of a variable.
net_var_debug_orig_name(): Returns the original name of a debug structure of a variable.
net_var_debug_set_orig_name(): Sets the original name of a debug structure of a variable.
net_var_debug(): Returns the debug structure of a variable.
net_var_del_fanout_all(): Deletes all fanout variables from the variable.
net_var_del_fanout(): Deletes a fanout variable from the variable.
net_var_fanin(): Returns the fanin variable of a variable.
net_var_fanout_by_index(): Returns the indexed fanout variable of a variable.
net_var_fanout_by_name(): Returns the named fanout variable of a variable.
net_var_id(): Returns the MDD identifier of a variable.
net_var_index(): Returns the index of a variable.
net_var_name(): Returns the name of a variable.
net_var_nbit(): Returns the number of bits represent values of a variable.
net_var_node(): Returns the node of a variable belongs to.
net_var_number_of_fanout(): Returns the number of fanout variables of a variable.
net_var_nval(): Returns the number of values of a variable.
net_var_reset_assoc_pair(): Resets the association between two variables.
net_var_reset_copy(): Resets the copy flag of a variable.
net_var_reset_type(): Resets the type of a variable.
net_var_set_assoc_pair(): Sets the association between two variables.
net_var_set_const_value(): Sets the value of a variable.
net_var_set_debug(): Sets the debug structure of a variable.
net_var_set_fanin(): Sets the fanin variable of a variable.
net_var_set_id(): Sets the MDD identifier of a variable.
net_var_set_index(): Sets the index of a variable.
net_var_set_name(): Sets the name of a variable.
net_var_set_nbit(): Sets the number of bits represent values of a variable.
net_var_set_node(): Sets the node of a variable belongs to.
net_var_set_nval(): Sets the number of values of a variable.
net_var_set_type(): Sets the type of a variable.
net_var_set_values(): Sets the array of symbolic values of a variable.
net_var_type(): Returns the type of a variable.
net_var_values(): Returns the array of symbolic values of a variable.

Generated automatically by extdoc on 951023

Contact