o Xi@sfdZddlmZddlZddlmZmZddlmZddl Z edZ dd d Z dddZ dddZdS)z0Utilities for extracting subgraphs from a graph.) annotationsN) CollectionSequence)Union)ir.Graphz ir.Functionz ir.GraphView parent_graphrgraphreturn set[ir.Value]cCsFt}tj|D]}|jD]}|durq|j|ur||qq |S)a,Collects all values in the given graph-like object. Args: parent_graph: The parent graph to which collected values must belong. graph: The graph-like object to collect values from. Returns: A set of :class:`~onnx_ir.Value` objects belonging to ``parent_graph``. N)setir traversalRecursiveGraphIteratorinputsradd)rrvaluesnodevalrS/home/ubuntu/.local/lib/python3.10/site-packages/onnx_ir/_convenience/_extractor.py_collect_all_external_valuess    r GraphLikerCollection[ir.Value]outputs*tuple[list[ir.Node], Collection[ir.Value]]cs*t|tjr t}ndd|D}ddt|Dg}g|}t}t|}|r|} | |vr2q'| r;|| || | } dur| |vr|| | | | j D]} | |vrh| durh| | qY| j D]@} | j tjjkrt|| } | D] }||vr| |qqn| j tjjkr| D]}t||} | D] }||vr| |qqqn|s)t}|D]} | j D]}|durq|}|dus||vr||qqg}t|}t|dddD]}||vr|s| |q|rd d |D}td d ||jfd dd||fS)aFinds the subgraph bounded by the given inputs and outputs. Args: graph: The graph to search. inputs: The inputs to the subgraph. outputs: The outputs of the subgraph. parent_graph: The parent graph of the subgraph. Returns: A list of nodes in the subgraph and the initializers used. Raises: ValueError: If the subgraph is not properly bounded by the given inputs and outputs. cSsh|]}|r|qSr)is_initializer.0rrrr ;sz3_find_subgraph_bounded_by_values..cSsi|]\}}||qSrr)ridxrrrr <z4_find_subgraph_bounded_by_values..NcSs |jpdS)Nname)vrrrqs z2_find_subgraph_bounded_by_values..)keycSsg|]}|jpdqS)zr#rrrr vr!z4_find_subgraph_bounded_by_values..zThe subgraph is not properly bounded by the specified inputs and outputs. The following graph inputs are required but not provided: z, cs|S)Nr)n node_indexrrr&}s) isinstancer Functionr enumeratepoprrproducerappendr attributesrtype AttributeTypeGRAPHras_graphGRAPHS as_graphssorted ValueErrorjoinsort)rrrrinitialized_values all_nodes value_stack visited_nodesvisited_valuesvaluerinputattrrrginput_frontier input_valr0unspecified_graph_inputs inputs_set value_namesrr*r _find_subgraph_bounded_by_values$s           !    rKSequence[ir.Value | str] graph_likec s6t|tjr |j}n|}tjj|ddt|tj}t||D]6}t|tj rJ|sI|j|urI|j dur7|j nd}t d|d|j j d|dq |vrVt d |d q fd d |D}fd d |D}|sot d|dj} | duszJt|||| d\} } tj||| t| |j|j|j |jd} | S)aRExtracts a subgraph from the given graph-like object. .. versionadded:: 0.1.14 Args: graph_like: The graph-like object to extract from. inputs: The inputs to the subgraph. Can be Value objects or their names. outputs: The outputs of the subgraph. Can be Value objects or their names. Returns: The extracted subgraph as a new :class:`~onnx_ir.Graph` object. Raises: ValueError: If any of the inputs or outputs are not found in the graph. ValueError: If the subgraph is not properly bounded by the given inputs and outputs. F)include_subgraphsNz unnamed graphzValue 'z' does not belong to the given z (z).zValue with name 'z' not found in the graph.c"g|] }t|tr |n|qSrr,strrrrrr("zextract..crOrrPrrRrrr(rSz;At least one output must be provided to extract a subgraph.r)r)nodes initializers doc_string opset_importsr$metadata_props)r,r r-r conveniencecreate_value_mapping GraphView itertoolschainValuer$r: __class____name__rKtuplerVrWrXclone) rMrrr is_graph_viewr graph_name input_vals output_valsrextracted_nodesr= graph_viewrrRrextractsP       ri)rrrrr r ) rrrrrrrrr r)rrLrrLrMrr r)__doc__ __future__rr\collections.abcrrtypingronnx_irr rrrKrirrrrs    ]