File: //opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyc
�
�GHWc @` s� d d l m Z m Z m Z d d l Z d d l Z d d l m Z d d l j j
j Z d d l
m Z d d l m Z m Z m Z d d l m Z d d l m Z m Z d e f d � � YZ d
e f d � � YZ d e f d
� � YZ d e f d � � YZ d d d) d d d d d d d d* d+ d d g e d � e d � g d! Z e j g e D]
Z e ^ qZ� d" e f d# � � YZ d$ � Z! d% e f d& � � YZ" d' e f d( � � YZ# d S(, i ( t divisiont print_functiont absolute_importN( t
namedtuple( t assume( t int_to_bytest int_from_bytest bytes_from_list( t sign( t SearchStrategyt MappedSearchStrategyt IntStrategyc B` s e Z d Z RS( s� A generic strategy for integer types that provides the basic methods
other than produce.
Subclasses should provide the produce method.
( t __name__t
__module__t __doc__( ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR ! s t IntegersFromStrategyc B` s& e Z d d � Z d � Z d � Z RS( g j�@c C` s) t t | � j � | | _ | | _ d S( N( t superR t __init__t lower_boundt average_size( t selfR R ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR - s c C` s d | j f S( Ns IntegersFromStrategy(%d)( R ( R ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyt __repr__2 s c C` s$ t | j t j | d | j � � S( Ng �?( t intR t dt geometricR ( R t data( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyt do_draw5 s ( R R
R R R ( ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR + s t WideRangeIntStrategyc B` s e Z d � Z d � Z RS( c C` s d S( Ns WideRangeIntStrategy()( ( R ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR < s c ` sz d � d � d d � � � f d � } | j � d | �} t | � } | � @} | � M} | rp | } n t | � S( Ni i i i c ` s� | � k s t � t | j d | d d � | j d | d d � � } | d k rg | j | � } n d } | j d d � r� | � O} n | � M} t | | � S( Ni i i ( t AssertionErrort mint randintt getrandbitsR ( t randomt nt kt r( t sign_maskt size( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyt distributionC s
R& ( t
draw_bytesR R ( R R R& t bytR# t negative( ( R$ R% sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR ? s
( R R
R R ( ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR : s t BoundedIntStrategyc B` s) e Z d Z d � Z d � Z d � Z RS( sP A strategy for providing integers in some interval with inclusive
endpoints.c C` s# t j | � | | _ | | _ d S( N( R R t startt end( R R+ R, ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR ` s
c C` s d | j | j f S( Ns BoundedIntStrategy(%d, %d)( R+ R, ( R ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR e s c C` s t j | | j | j � S( N( R t
integer_rangeR+ R, ( R R ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR h s ( R R
R R R R ( ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR* [ s g g �?g �?i g �cAg�h㈵��>g�c
8g g�������g6p����Gl i i gh_ �>g �<t inft nani t
FloatStrategyc B` s2 e Z d Z d � Z d � Z d � Z d � Z RS( s7 Generic superclass for strategies which produce floats.c C` sM t j | � t | t � s" t � t | t � s7 t � | | _ | | _ d S( N( R R t
isinstancet boolR t allow_infinityt allow_nan( R R3 R4 ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR y s
c C` s d | j j f S( Ns %s()( t __class__R ( R ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR � s c C` s> | j r t j | � r t S| j r: t j | � r: t St S( N( R3 t matht isinft FalseR4 t isnant True( R t f( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyt permitted� s
c ` sN � f d � } t j d t | j d | � � � d } t � j | � � | S( Nc ` s7 | d k s t � x t r2� j d d � } | d k rK � j t � } n� | d k rw t � f d � t d � D� � S| d k r� � j � � j d d � d d } nf | d
k r� � j d d � } nE | d k r� t � j d d � � } n � j � j d d � d � } � j
| � r t j d | � Sq Wd S( Ni i i
i i c 3` s! | ] } � j d d � Vq d S( i i� N( R ( t .0t _( R ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pys <genexpr>� s i i i i i? s !dl l���� l l l���� l (
R R: R t choicet NASTY_FLOATSR t rangeR t gausst floatR< t structt pack( R R! t iR; ( R ( R sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyt draw_float_bytes� s& s !di i ( RD t unpackt bytesR' R R< ( R R RG t result( ( R sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR � s
( R R
R R R R< R ( ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR0 u s
c C` s t | � | f S( N( R ( R" ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyt float_order_key� s t FixedBoundedFloatStrategyc B` s8 e Z d Z e d d � Z d � Z d � Z d � Z RS( s� A strategy for floats distributed between two endpoints.
The conditional distribution tries to produce values clustered
closer to one of the ends.
t Parametert cutt leftwardsc C` s� t j | � t | � | _ t | � | _ t | j � } t | j � } g d D]. } | t | � k os | k n rP | ^ qP | _ | j j | j � | j j | j � d S( Ng �g ( g �g ( R R RC R t upper_boundRK t criticalt append( R R RP t lbt ubt z( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR � s
1c C` s d | j | j f S( Ns! FixedBoundedFloatStrategy(%s, %s)( R RP ( R ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR � s c ` s� � f d � } t j d t | j d | � � � d } t � j | k oW � j k n � t t � j � t | � k o� t � j � k n � | S( Nc ` sv | d k s t � | j d d � } | d k rE | j � j � } n! | j � � j � j � j } t j d | � S( Ni i i i s !d( R R R? RQ R RP R RD RE ( R R! RF R; ( R ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyRG � s
s !di i ( RD RH RI R' R R RP R ( R R RG R; ( ( R sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR � s
&8( RN RO ( R R
R R RM R R R ( ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyRL � s t ComplexStrategyc B` s e Z d Z d � Z d � Z RS( s� A strategy over complex numbers, with real and imaginary values
distributed according to some provided strategy for floating point
numbers.c C` s d S( Ns ComplexStrategy()( ( R ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyR � s c C` s
t | � S( N( t complex( R t value( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyRE � s ( R R
R R RE ( ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyRV � s gUUUUUU�?g wJ��?g9b-> @($ t
__future__R R R R6 RD t collectionsR t$ hypothesis.internal.conjecture.utilst internalt
conjecturet utilsR t hypothesis.controlR t hypothesis.internal.compatR R R t hypothesis.internal.floatsR t$ hypothesis.searchstrategy.strategiesR R
R R R R* RC R@ t extendt xR0 RK RL RV ( ( ( sR /opt/alt/python27/lib/python2.7/site-packages/hypothesis/searchstrategy/numbers.pyt <module> s*
! !3 2