share package abstract (Internal)

share_add_out_var()

Adds the output variable to a node.

share_append_ticket_sets()

Returns the union of two ticket sets.

share_constant_to_graph()

Creates vertices for representing constant variables of a node.

share_create_mpx_inst()

Creates and returns a multiplexer instance node which has the given number of inputs.

share_create_mpx_model()

Creates and returns a multiplexer model node which has the given number of inputs.

share_create_sharing_graph()

Returns the sharing graph of vertices.

share_disjoint_ticket()

Tests if two ticket sets are disjoint.

share_fanin_to_graph()

Creates vertices for representing fanin variables of a node.

share_fanout_to_graph()

Creates vertices for representing fanout variables of a node.

share_free_ticket_sets()

Frees array of ticket sets.

share_get_adjacent_vertices()

Gets all adjencent vertices of a set of vertices.

share_get_cfsm()

Gets the CFSM component of a NET node.

share_get_control_state()

Gets the control state variable of a CFSM node.

share_get_delete_graph_max_clique()

Returns and delete the maximal clique of a graph.

share_get_hw_nodes_for_sharing()

Gets the set of HW nodes, represented by vertices of a graph, which can be shared.

share_get_select_for_out()

Gets those values of _select variable where a variable is used for computing output functions.

share_get_state_select_for_in()

Gets those values of control state and _select variables which are in the care set of CFSM transitions with values of a variable.

share_graph_alloc_vertex()

Allocates a new vertex.

share_graph_cost()

Returns the cost of a vertex.

share_graph_flag()

Returns the flag of a vertex.

share_graph_free_v()

Frees the vertex.

share_graph_free()

Frees the graph.

share_graph_get_vertex_by_name()

Returns the named vertex of a graph.

share_graph_name()

Returns the name of a vertex.

share_graph_node()

Returns node the vertex represents.

share_graph_print()

Prints the entire graph.

share_graph_reset_flag_all()

Resets flags of all vertices of a subgraph.

share_graph_select_in()

Returns the select in values of a vertex.

share_graph_select_out()

Returns the select out values of a vertex.

share_graph_set_flag()

Sets the flag of a vertex.

share_graph_set_name()

Sets the name of a vertex.

share_graph_set_node()

Sets node the vertex represents.

share_graph_set_select_in()

Sets the select in values of a vertex.

share_graph_set_select_out()

Sets the select out values of a vertex.

share_graph_set_state()

Sets the state values of a vertex.

share_graph_set_type()

Sets the type of a vertex.

share_graph_set_var()

Sets variable the vertex represents.

share_graph_state()

Returns the state values of a vertex.

share_graph_type()

Returns the type of a vertex.

share_group_graph_nodes()

Groups graph vertices according that they are in the care sets of CFSM transitions, output functions or both.

share_hw_comb()

Share combinational subcircuits.

share_insert_array_trel_out()

Inserts the trel_out structure into look-up table at the given position.

share_internal_to_graph()

Creates vertices for representing internal variables of a node.

share_mdd_to_multi_value()

Converts encoded MDD value of a variable into multi value.

share_mdd_value_to_values()

Converts encoded MDD value of a variable into a set of multi values.

share_multiplex_instances()

Shares nodes given represented by vertices inserting multiplexer into the NET node.

share_net_to_graph()

Maps the NET node into a data flow graph.

share_propagate_select_in()

Propagates the set of _select in values to vertices of subgraph.

share_propagate_select_out()

Propagates the set of _select out values to vertices of subgraph.

share_propagate_state()

Propagates the set of state values to vertices of subgraph.

share_select_in_ticket()

Tickets subgraphs by sets of _select in values.

share_select_out_ticket()

Tickets subgraphs by sets of _select out values.

share_state_ticket()

Tickets subgraphs by sets of state values.

share_sw_comb()

Share combinational subcircuits.

share_sw_create_shared_instances()

Creates shared instances.

share_sw_get_nodes_for_sharing()

Returns all sets of vertices of a graph which have the same functionality.

share_sw_get_pairs_for_sharing()

Returns all pairs of vertices which have the same functionality.

share_sw_replace_instance()

Replaces the instance by another instance of a model.

share_sweep_graph()

Delete not used vertices from graph.

share_ticket_graph()

Tickets vertices of graph by values of state and _select variables.

share_vertex_is_member()

Tests if the given vertex is in an array.