+ p V\V 4,p Y9dTP T 4TPY4K@ K \VP4UUu/uFwr#W&9gK W#bK uppVVP R7#uuppi \dKi;iuuppi)N)mappinggraphcriteria) r)itemsidr addr+_has_route_to_root iter_parentKeyErrorconnectr) rr)kvall_keysr* connectedkey criterionppkeys & r% _build_resultr;"s4mmG;B==?%K?41beQh?H%KHRX&3oE IIdO!%I....0!%..#KK    IIcN&&(A 1  $ MM$ $) 1 ")--/D/$!Q^/D +&L  Es#EE) E+ 8E+  E('E(c]tRt^@tRtRRlt]RRl4tRRltRR lt R R lt R R lt RRlt RRlt RRltRRltRRltRRltRRltRtR#) ResolutionzStateful resolution object. This is designed as a one-off object that holds information to kick start the resolution process, and holds the results afterwards. c$V^8dQhRRRRRR/#)rproviderzAbstractProvider[RT, CT, KT]reporterzBaseReporter[RT, CT, KT]r!Noner#)r$s"r%r&Resolution.__annotate__Gs(33.3+3  3r'c ,WnW n.VnR#N_p_r_states)selfr?r@s&&&r%__init__Resolution.__init__Gs 02 r'cV^8dQhRR/#)rr!r r#)r$s"r%r&rBQs11(1r'c hVPR,# \dp\R4ThRp?ii;i)rN)rH IndexErrorAttributeError)rIes& r%rResolution.statePs3 1<<# # 1 )q 0 1s 1 ,1cV^8dQhRR/#)rr!rAr#)r$s"r%r&rBWs # # #r'c VPR,p\VPP4VPP4VP R,R7pVPP V4R#)zqPush a new state into history. This new state will be used to hold resolution results of the next coming round. NNNr)r+backtrack_causesNrO)rHrr)copyr+rXappend)rIbasers& r%_push_new_stateResolution._push_new_stateWs^ ||BLL%%']]'')!2215  E"r'c(V^8dQhRRRRRRRR/#) rr+dict[KT, Criterion[RT, CT]] requirementr parentz CT | Noner!rAr#)r$s"r%r&rBes2*)*)-*)*) *)  *)r'c  VPPW#R7VPPVR7pVP V4pV'd\ VP 4pM.pVPPV\V\P!R4WB./4\V\P!R4WF/4R7pV'd1\ VP4pVP\W#44M \W#4.p\\!V4VVR7pVP"'g \%V4hWQV&R#))r`ra)requirement_or_candidateiter_requirementincompatibilities identifier requirementsre candidates informationreN)rGadding_requirementrFidentifygetlistre find_matchesroperator methodcaller attrgetterrkrZrrrrjr) rIr+r`rargr8rematchesrks &&&& r%_add_to_criteriaResolution._add_to_criteriaes' ""{"JWW%%{%K LL,  $Y%@%@ A  " ''&&!(%%&89]+ .##$78/'   y445K   5kJ K1+FGK&w/#/ ###(3 3(r'c$V^8dQhRRRRRR/#)rr+r_parentszCollection[KT]r!rAr#)r$s"r%r&rBs$3>L r'c  DV'gR#VP4F|wr4\VPVPUu.uF?pVPe-VP P VP4V9gK=VNKA upVP4W&K~ R#uupi)a/Remove information from parents of criteria. Concretely, removes all values from each criterion's ``information`` field that have one of ``parents`` as provider of the requirement. :param criteria: The criteria to update. :param parents: Identifiers for which to remove information from all criteria. N)r,rrjrkrarFrmre)rIr+rxr7r8rks&&& r%!_remove_information_from_criteria,Resolution._remove_information_from_criterias &nn.NC%$$(1'<'<'< #**277++K,>,>?wN  K'<++ HM/s :B =B c V^8dQhRRRR/#)rnamer r!rr#)r$s"r%r&rBs   B  :  r'c  ZVPPVVPP\ VPP \ P!R44\ VPP \ P!R44VPPR7#)rjrk)rg resolutionsrjrkrX) rFget_preferencerr)rr+rqrsrX)rIr}s&&r%_get_preferenceResolution._get_preferencesww%% **& ####L1( ####M2"ZZ88&  r'c$V^8dQhRRRRRR/#)rr}r r8zCriterion[RT, CT]r!boolr#)r$s"r%r&rBs$     #4    r'c aaSPPV,o\;QJd.TT3RlTP 44F 'dK R# R#!TT3RlTP 444# \dR#i;i)Fc3^<"TF"pSPPVSR7xK$ R#5i)r` candidateNrFis_satisfied_by).0r current_pinrIs& r% 8Resolution._is_current_pin_satisfying..s/ 1 GG # #[ # I I1*-T)rr)r1allrd)rIr}r8rsf&&@r%_is_current_pin_satisfying%Resolution._is_current_pin_satisfyings **,,T2Ks //1 ss s s //1     sA99 BBc V^8dQhRRRR/#)rrr r!r_r#)r$s"r%r&rBsr6Qr'c VPPP4pVPP VR7FpVP W#VR7K V#)rra)rr+rYrFget_dependenciesru)rIrr+r`s&& r%_get_updated_criteria Resolution._get_updated_criteriasO::&&++-7733i3HK  ! !( ! JIr'c V^8dQhRRRR/#)rr}r r!list[Criterion[RT, CT]]r#)r$s"r%r&rBs##b#5L#r'c &aaSPPV,p.pVPEFoSPS4p\;QJd.TT3RlTP44F 'dK RM# RM!TT3RlTP444pT'g \ST4hSP PSR7SPPPT4SPPPTR4SSPPT&.u# V# \dNpSP P TPS4TPTP4Rp?EK]Rp?ii;i)Nc3^<"TF"pSPPVSR7xK$ R#5irr)rrrrIs& r%r7Resolution._attempt_to_pin_criterion..s/5A''A'KK5rFTr)rr+rjrrrGrejecting_candidater8rZrrdrpinningupdater)pop)rIr}r8causesr+rR satisfiedrsf& @r%_attempt_to_pin_criterion$Resolution._attempt_to_pin_criterions6JJ''- *,"--I 55i@"335"335I+IyAA GGOOiO 0 JJ   & &x 0 JJ   " "4 .'0DJJ  t $I7.> 9* ++AKKC akk* sD88 FAF  Fc V^8dQhRRRR/#)rincompatibilities_from_brokenzlist[tuple[KT, list[CT]]]r!rr#)r$s"r%r&rBs!!-F! !r'c  pVEFwr#V'gKVPPV,pTPP T\ TPP\ P!R44\ TPP\ P!R4Y#/4R7p\T4pT'gR#TPTP4\T\TP4TR7TPPT&EK R# \dEK1i;i)rdrerfFriT)rr+r1rFrprrqrrrsrextendrerrork)rIrr3rer8rtrjs&& r%_patch_criteriaResolution._patch_criterias  %B A$  JJ//2 gg**,JJ''))*<=#2JJ''''(;<*# + G,;7+CJ  $ $Y%@%@ A%.% !6!67"3&DJJ   "/%B8/  sD%% D54D5c V^8dQhRRRR/#)rr$list[RequirementInformation[RT, CT]]r!rr#)r$s"r%r&rBsWW DWWr'c \P!RV4RV44pVUu0uFq0PPV4kK pp\ VP 4^8EdKVP RVP pVP P4pVPP4wrgYd9dMoTPPT4Uu0uFqPPT4kK p pT PT4'gMTP'dKTPP!4U U u.uFwrT \#T P$43NK p p p T P'Yg.34TP)4TP+T 4p T 'gEKcR#R#uupi \\3d\T4Rhi;iuupiuup p i)arPerform backjumping. When we enter here, the stack is like this:: [ state Z ] [ state Y ] [ state X ] .... earlier states are irrelevant. 1. No pins worked for Z, so it does not have a pin. 2. We want to reset state Y to unpinned, and pin another candidate. 3. State X holds what state Y was before the pin, but does not have the incompatibility information gathered in state Y. Each iteration of the loop will: 1. Identify Z. The incompatibility is not always caused by the latest state. For example, given three requirements A, B and C, with dependencies A1, B1 and C1, where A1 and B1 are incompatible: the last state might be related to C, so we want to discard the previous state. 2. Discard Z. 3. Discard Y but remember its incompatibility information gathered previously, and the failure we're dealing with right now. 4. Push a new state Y' based on X, and apply the incompatibility information from Y to Y'. 5a. If this causes Y' to conflict, we need to backtrack again. Make Y' the new Z and go back to step 2. 5b. If the incompatibilities apply cleanly, end backtracking. c3X"TF qPfKVPxK" R#5irDrrcs& r%r'Resolution._backjump..5s >v!XQXXvs**c38"TFqPxK R#5irD)r`rs& r%rr6s +Fq]]FsTNFrO) itertoolschainrFrmlenrHrrr)popitemrPr1rr isdisjointr+r,rorerZr\r)rIrincompatible_reqsrincompatible_deps broken_stater}rdcurrent_dependenciesr3r4rsuccesss&& r% _backjumpResolution._backjumps>09 >v > +F +0 ;LL:KQWW--a0:KL$,,1$ R  ::LA#'<<#3#3#5L&2&:&:&B&B&DOD 0 261I1I)1T(1TAGG$$Q'1T%(,667HII $+++%*.)D)D9 /+ /@+/"#RSS./!36 >t D  --.?@++6+:..017 ++A..tzz/J/JKK+/***=*=*C*C*E+*E-!;;CKC*E(+ 66JJ'')@$$& GG {** EW-Z ++k* K*1;;+B+BCJ K!x+s6%(O;3P.P. P4-P4P4; P+ P&&P+rEN)__name__ __module__ __qualname____firstlineno____doc__rJpropertyrr\rurzrrrrrrrr__static_attributes__r#r'r%r=r=@sd 311 #*)X6     #J!FWrR f,f,r'r=c.]tRtRtRt]tRRRlltRtR#)Resolveriz3The thing that performs the actual resolution work.c$V^8dQhRRRRRR/#)rrhrrrr!r"r#)r$s"r%r&Resolver.__annotate__s("$"$""$"$  "$r'c |\VPVP4pVPWR7p\ V4#)afTake a collection of constraints, spit out the resolution result. The return value is a representation to the final resolution result. It is a tuple subclass with three public members: * `mapping`: A dict of resolved candidates. Each key is an identifier of a requirement (as returned by the provider's `identify` method), and the value is the resolved candidate. * `graph`: A `DirectedGraph` instance representing the dependency tree. The vertices are keys of `mapping`, and each edge represents *why* a particular package is included. A special vertex `None` is included to represent parents of user-supplied requirements. * `criteria`: A dict of "criteria" that hold detailed information on how edges in the graph are derived. Each key is an identifier of a requirement, and the value is a `Criterion` instance. The following exceptions may be raised if a resolution cannot be found: * `ResolutionImpossible`: A resolution cannot be found for the given combination of requirements. The `causes` attribute of the exception is a list of (requirement, parent), giving the requirements that could not be satisfied. * `ResolutionTooDeep`: The dependency tree is too deeply nested and the resolver gave up. This is usually caused by a circular dependency, but you can try to resolve this by increasing the `max_rounds` argument. )r)r=r?r@rr;)rIrhr resolutionrs&&& r%rResolver.resolves7@  t}}= ""<"GU##r'r#N)d) rrrrrrbase_exceptionrrr#r'r%rrs=&N"$"$r'rc ,V^8dQhRRRRRRRRR R /#) rr+zMapping[KT, Criterion[RT, CT]]r7z KT | Noner5zdict[int, KT | None]r6zset[KT | None]r!rr#)r$s"r%r&r&s:, #   r'c6W9dR#W9dR#VfQhW,P4FVpV\V4,pYS9dTPT4R#\ YY#4'gKDTPT4R# R# \dKji;i)TF)r0r-r1r.r/)r+r7r5r6r9r:s&&&& r%r/r/s    ?? ] & & ( BqE?D   MM#  hh B B MM# )    sB  BB)) __future__rrrrqtypingrrrrrstructsr r r r r rrrrabstractrrr8r exceptionsrrrrr providersrr reportersrr;r=rr/r#r'r%rs"HH   / 8(