o
    8Vaw                     @   sX   d dl mZ d dlmZmZ d dlmZmZ dd Zdd Z	dd	 Z
d
d Zdd ZdS )    )Basic)top_downsall)do_oneidentityc                 c   s    t | tr| d V  d S d S )N   )
isinstanceintx r   M/usr/lib/python3/dist-packages/sympy/strategies/branch/tests/test_traverse.pyinc   s   
r   c                  C   s6   t dd} t dd}tt}t|| |hksJ d S )Nr         r   r   r   setexprexpectedbrlr   r   r   test_top_down_easy	   s   

r   c                  C   sZ   t dt dt dt dd} t dt dt dt dd}tt}t|| |hks+J d S )Nr   r   r            r   r   r   r   r   test_top_down_big_tree   s   r   c                  C   sX   dd } t t ddd}t t dddt t dddh}t| }t|||ks*J d S )Nc                 s   s&    | dkr| d V  | d V  d S d S )Nr   r   r   r
   r   r   r   split5   s
   
z-test_top_down_harder_function.<locals>.split5r   r   r   r   )r   r   r   )r   r   r   r   r   r   r   test_top_down_harder_function   s
    r   c                  C   s~   t dd} t dd}tt}t|| |gksJ t ddt dd} t ddt dd}tttt}t|| |gks=J d S )Nr   r   r   r   )r   r   r   listr   r   r   r   r   r   	test_sall#   s   

r   N)Zsympyr   Z sympy.strategies.branch.traverser   r   Zsympy.strategies.branch.corer   r   r   r   r   r   r   r   r   r   r   <module>   s    