rFw66dZddlZddlmcmZGddZy)zKThis module implements various useful common functions for shrinking tasks.NceZdZdZdddddZedefdZdefdZ d Z d Z d Z d e ddfd ZedZdZdZdZdZdZdefdZdZdZy)ShrinkerzA Shrinker object manages a single value and a predicate it should satisfy, and attempts to improve it in some direction, making it smaller and simpler.FN)fulldebugnamec |jdi||j||_|j|_||_d|_||_||_|j|jh|_ ||_ y)Nr) setupmake_immutablecurrentinitialrchangesr_Shrinker__predicatemake_canonical_Shrinker__seendebugging_enabled)selfr predicaterrrkwargss t/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/hypothesis/internal/conjecture/shrinking/common.py__init__zShrinker.__init__sp  V**73 ||    $**4<<89 !&returnc,t|jSN)lenrrs rcallszShrinker.calls(s4;;rcdjt|j|jdn|jd|j|j S)Nz {}({}initial={!r}, current={!r})z, )formattype__name__rr r rs r__repr__zShrinker.__repr__,sI188 J  ))#BDII=); LL LL   rcy)zRuns initial setup code. Convenience function for children that doesn't require messing with the signature of init. Nr )rargsrs rr zShrinker.setup4rc Zj||jfdfi|y)z~Delegates shrinking to another shrinker class, by converting the current value to and from it with provided functions.c2j|Sr)consider)v convert_fromrs rz#Shrinker.delegate..AsdmmLO4rN) call_shrinkerr )r other_class convert_tor,rs` ` rdelegatezShrinker.delegate;s1   t|| $ 4   rc *|j||fi|S)zCalls another shrinker class, passing through the relevant context variables. Note we explicitly do not pass through full. )shrink)rr/r rrs rr.zShrinker.call_shrinkerEs"{!!'9???rr&c8|jrtd|g|yy)NDEBUG)rprint)rr&s rrzShrinker.debugNs  ! ! '4 '$ ' "rc N|||fi|}|j|jS)zShrink the value ``initial`` subject to the constraint that it satisfies ``predicate``. Returns the shrunk value. )runr )clsr rrshrinkers rr3zShrinker.shrinkRs*w 4V4 rc|jry|jr>d}|j|k7r=|j}|j|j|k7r,n|j|j dy)zRun for an appropriate number of steps to improve the current value. If self.full is True, will run until no further improvements can be found. NCOMPLETE) short_circuitrrrun_stepr)rprevs rr8z Shrinker.run]sb      99D,,$&|| ,,$& MMO :rcN|j|}|jd||j|}||j|jk(ry||jvry|jj ||j ||j||js"|jd|d|jy|j|r1|jd||xjdz c_ ||_y|jd|dy) zTry using ``value`` as a possible candidate improvement. Return True if self.current is canonically equal to value after the call, either because the value was incorporated as an improvement or because it had that value already. z considering TFz Rejected z as no better than self.current=z shrinking to z not satisfying predicate) r rrr raddcheck_invariantsleft_is_betterrr)rvalue canonicals rr*zShrinker.considerns ##E* \%+,''. ++DLL9 9  #  " e$""5$,,7 JJ5)+Lt||oN O   E " JJui0 1 LLA L DL JJ5)+DE Frc|S)a-Convert immutable value into a canonical and hashable, but not necessarily equal, representation of itself. This representation is used only for tracking already-seen values, not passed to the shrinker. Defaults to just returning the (immutable) input value. r rrFs rrzShrinker.make_canonicals  rc|S)zConvert value into an immutable representation of itself. It is these immutable versions that the shrinker will work on. Defaults to just returning the value. r rIs rr zShrinker.make_immutables  rcy)zMake appropriate assertions about the value to ensure that it is valid for this shrinker. Does nothing by default. Nr rIs rrDzShrinker.check_invariantsr'rcy)zPossibly attempt to do some shrinking. If this returns True, the ``run`` method will terminate early without doing any more work. Fr rs rr>zShrinker.short_circuits rct)zpReturns True if the left is strictly simpler than the right according to the standards of this shrinker.NotImplementedError)rleftrights rrEzShrinker.left_is_better "!rct)z[Run a single step of the main shrink loop, attempting to improve the current value.rNrs rr?zShrinker.run_steprRr)r# __module__ __qualname____doc__rpropertyintrstrr$r r1r.objectr classmethodr3r8r*rr rDboolr>rEr?r rrrrs '* s   #   @(6(d(  "6  t" "rr)rVbuiltins @py_builtins_pytest.assertion.rewrite assertionrewrite @pytest_arrr rrrcsRf"f"r