^jjddlmZddlZddlZddlmZddlmZddlm Z m Z ddl m Z gdZ dejjd dfd Zdejjd dfd Zd eed eeed feed fffdZd eed efdZdeeefded efdZdejj2deeefd dfdZdejj2dejj2d efdZy))AnyN)Refine)Equality)unifyVar) TensorType)check_for_type_equality convert_eqinfer_symbolic_types infer_symbolic_types_single_passsubstitute_all_typessubstitute_solution_one_typeunify_eqtracedreturnct|}|jt|j}t |j |y)z- Calls our symbolic inferencer once. N)rrefiner constraintsr graphrrmgus r/var/www/ramen.bs-engineer-server.com/venv/lib/python3.12/site-packages/torch/fx/experimental/unify_refinements.pyr r s2 vAHHJ 1== !Cs+c<t|}|jt|j}t |j |t|}|jt|j}t |j ||j y)z Calls our symbolic inferencer twice. This is useful when one pass is not enough to infer all the information such as the case for broadcasting. N)rrrrr rsymbolic_relationsrs rr r sl vAHHJ 1== !Cs+vAHHJ 1== !Cs+r list_of_eq.cg}g}|D]8}|j|j|j|j:t|t|fS)za Convert equality constraints in the right format to be used by unification library. )appendlhsrhstuple)rr r!eqs rr r 4sR C C 266 266 :uSz !!rc6t|\}}t||S)z@ Apply unification to a set of equality constraints )r r)rr r!s rrrAs *%HC c?rmappingtct|tr ||vr||S|St|trQg}|jD],}||vr|j |||j |.tt |St|t r&g}|D]}|j t|||St|t r/g}|D]}|j t||t |S|S)z2 Apply the most general unifier to a type ) isinstancerrdimsrr"listr)r%r&new_typetyps rrrJs!S <1: H Az "66 %Cg~ -$  % %/** At  HC OO8#F G H Au  HC OO8#F G HXrrcd}|r0d}|D]&}||}|||vr ||}||||<|||k7s%d}(|r0|jD]}t||j|_y)z Apply the most general unifier to all types in a graph till reaching a fixed point. If the input and output graph are the same, we converge. TFN)nodesrtype)rr%flagkold_mapping_valnew_keyns rr r ms D  A%ajOqzW$!!*$W- '!*,   [[?-gqvv>?rg1g2ct|j|jD] \}}|j|jk7s yy)zv A check equality to be used in fixed points. We do not use graph equality but instead type equality. FT)zipr.r/)r5r6r4ms rr r s> BHHbhh'1 66QVV  r)typingrtorchtorch.fx/torch.fx.experimental.graph_gradual_typecheckerr&torch.fx.experimental.refinement_typesr!torch.fx.experimental.unificationrrtorch.fx.tensor_typer__all__fx GraphModuler r r*r"r rdictobjectrGraphr boolr rrrIs B;8+ ,UXX-A-A,d,!5!5$( "4> "eE#s(OU3PS8_4T.U "hC $vv~*> 6 c F??ffn9M?RV?*  EHHNN t r