V} > d Z ddlmZmZmZ G d de Z G d de Z G d dee Zd Z d
Z
G d d Z G d
de e Z G d de e Z
d Zg dgfdZdgfdZd Zd ZdS )a Support functions for RE simplification.
This module is intended for use by the RE module.
It is in a separate module to keep RE itself cleaner
since the algorithm, 'rectangle selection', is a quite
separate part that depends on some tricky heuristics.
The primary entry function is
chooserects(lines, gauges)
It chooses 'the best' rectangles from lines to base simplification on.
A weight on atoms is given by gauges.
pr() gives some example usages of chooserects.
) immbitset mutbitset immbitrangec 2 e Zd ZdZd Zd Zd Zd dZd ZdS )
Rect)widthlinesgainmemolnos all_lines common_partc ^ || _ || _ |rt | dk rJ i | _ d S )N )r r lenr
)selfr r s e/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib64/python3.11/site-packages/guppy/etc/RE_Rect.py__init__z
Rect.__init__ s4
.c%jjAooo.
c || _ t fd| j D | _ | | _ d S )Nc : g | ]}t | S id).0linelnobyids r
z Rect.init2.. s$ H H HTwr$xx 0 H H Hr )r r r r get_common_partr
)r r r s ` r init2z
Rect.init2 sJ " H H H HTZ H H HII //11r c j }|| z }||k r| _ fd|D _ t | dk r!t j d _ d S d S )Nc * g | ]}j | S r )r )r lnor s r r z$Rect.reducelines..+ s >>>#$.->>>r r r )r r r r )r r olnoss ` r reducelineszRect.reducelines# sq u} 5== DI>>>>>>>DJ t99>> TZ]++DJJJ >r r c f g }| j | z D ]"}| | j | #|S N)r appendr )r pickednosr is r get_lineszRect.get_lines/ s@ y[( , ,A LL * + + + + r c V d| j | j t | j | j fz S )Nz0<
dir = %d
width = %d
lnos = %s
lines = %s
>)dirr listr r r s r __repr__z
Rect.__repr__5 s, F Hdj$ty//4:J? ? ?r Nr ) __name__
__module__ __qualname__ __slots__r r r$ r* r/ r r r r r si PI 2 2 2
,
,
, ? ? ? ? ?r r c $ e Zd ZdZdZd ZddZdS )LeftRectr r c 6 | j d d | j S Nr )r r r. s r r zLeftRect.get_common_part> s z!}[dj[))r c ~ g }| | D ]$}| || j d %|S r& )r* r' r )r r( ucr s r
get_uncommonszLeftRect.get_uncommonsA sG
NN9-- ) )D IId4:;;' ( ( ( ( r Nr0 r1 r2 r3 r4 r, r r; r r r r6 r6 : sA I
C* * * r r6 c $ e Zd ZdZdZd ZddZdS ) RightRectr c L | j }|dk rg S | j d |d S r8 )r r )r los r r zRightRect.get_common_partL s. j[
77Iz!}RSS!!r r c g }| j }|dk rd }| | D ] }| |d | |S r8 )r r* r' )r r( r: hir s r r; zRightRect.get_uncommonsR s[
j[
77BNN9-- ! !D IId3B3i r Nr0 r< r r r r> r> H sA I
C" " " r r> c R | t | S d}|D ]}| | | z
}|S r8 )r )gaugelstgainxs r sum_gaugerI \ s? }3xx A EE!HH DD Kr c | |D ]8}t || }t || }t || }|r|c S 9dS r8 )rI cmp)xsysgaugesrE gxgycs r
cmp_gaugedrR g sW
ub
!
!
ub
!
! BKK HHH 1r c e Zd Zd ZdS ) InducedRectc ` || _ |j | _ |j | _ || _ || _ d S r& )sr r r r )r rV r r s r r zInducedRect.__init__r s- W
r N)r1 r2 r3 r r r r rT rT q s# r rT c e Zd ZdS )InducedRightRectNr1 r2 r3 r r r rX rX z Dr rX c e Zd ZdS )InducedLeftRectNrY r r r r\ r\ ~ rZ r r\ c t | dk rt d| gS t d| t d| g}g }|r|}g }|D ]
}|j } d}i }||j z }|j D ]G} |t | k r0| | | g | Ed}H|st | dk rn
|dz x|_ }| | |dz
}t | D ]C\ }
} t | dk r+|
|| } | | D ||S Nr r ) r r6 r> r r, r
setdefaultr' r- items __class__)
r newrects donerectsoldrectsrr is_donedposr kvnew_rs
r brectrl s
5zzQE""##E""Ia$7$78HI
+ + +AGE
,aem G $ $D s4yy(( T#Y33::4@@@@"# c!ffkk"'!)+%
,
Q QJE QWWYY
+
+1q66A:: KKq 1 1E OOE***
+' +0 r Nc .
fd}
fd}
fd}d }d
dd t d t D } }t | D ]} | | |d t t
}
t
g } g
|
k rE | }
| j z
| | || ||
|
k E| S )
Nc | }t | dk rd S g }D ] }|j | j k rg }| }|j z }t | t | k sJ t || D ] \ }}||v r| | t | t | k rYt
| } fd|D }|j dk rt }
nt }
|
||| } | | |r
| d S d S )N c g | ]
}| S r r )r r" r s r r z*choose..induce.. s 111cuSz111r r? )
r; r r, r zipr' r rX r\ extend)re uncommonsirsrV pssuncsr uncr" pslnosrQ irr newsr( rectss r inducezchoose..induce sb OO%% y>>A F Au~~C??9--D6YJ&Dt99D )))) dOO
$
$S)##JJsOOO3xx3y>>))"3 1111S1115B;;(AA'AQq#v&&
2 KK r c | j }g }D ]}|| u r|j | j k r|j }||z s%|
z }|s.|j }|s8D ][}||u r|j |j k r|j
z }||z r)||z }|s1||k r8|j } | sBt || }
|
dk rZ n*| | | | d S r8 )r r, r
rR r' removerr )re rlnostonewsrV slnosscomttlnosr# tcomrQ rN rz r( r{ s r overlapzchoose..overlap sQ ( ( AAvvu~~FEEM
y[ E
=D
66 5AE>> )+EM
E>> } tT622q55
a Q Fr c r
d } d= nd } t D ]}|j z
}|s | $t | dz
}|j }| |s n|sF|r| j }|j }d}D ]}} || }
n*# t $ r t | | j }
|
|| < Y nw xY w|
| z }
|| } n*# t $ r t | |j } | || < Y nw xY w| |z } |
| z
}|r n~|dk r|} |}
|s n
|} |}||z }| | | | | j r| S Jr^ )
r- r r~ r r r
KeyErrorrI r
r$ )re rV r snswrwnrmemosmemorQ rE grrngsr rwrN rz r( r{ s r picknextzchoose..picknext s 4 /
$GGG e (" ("A FY .E ! Q Ua BB} ! " !E ! % $ )$%JE$%JE !A)/ * *!6).u BB'/ !6 !6 !6)25!-)H)HB35E%LLL!6 !#b!6).u BB'/ !6 !6 !6)25!-)H)HB35E%LLL!6 !#b$&G#$ !*$)E!* Avv (A !E BB r'CC=LLOOO}
i(((6 Hi4 s$ B $B0/B09C$C)(C)c 6 | j | j | j d fS r8 )r r, r rH s r cmpinitzchoose..cmpinit$ s wqvay((r r r c 6 g | ]\ }}t | |fS r r )r r) r s r r zchoose..* s& BBBgaRXXqMBBBr T)keyreverse)
dict enumerater- r sortr r r r r' )r{ r rN r| r r r r orectsre allnos pickedrectsrz r( s ``` @@r chooser s 8, , , , , , , , \5 5 5 5 5 5 5 5 n) ) ) ayBB51A1ABBBCCG
F LLE
JJ7DJ)))
U
$
$F IK
D
v
HJJQV 1 q
v
r c F t | }t || | }|S r& )rl r )r rN r{ choosens r chooserectsr D s# %LLEUE6**G Nr c t ddg } t g d } t | t g d } t | t g d } t | t g d } t d| g d} t t | t t dd g t t d
d g t t g d t t g d
t t g d t t g d d S )Nabcader abeacexby)ab1ab2ac3ac4)1bf2bf3cf4cf)r abdbcxbdyTW)r r eaxca )abcdabcer f)r r rg r )auvwbuvwr b)axuvwbxuvwaxybxycy)r printr s r prr J s UEN##A A
!HHH A
!HHH A
!HHH A
$NNN
A
+a..
+uen
%
%&&&
+sBi
!!!
+000
1
1222
+000
1
1222 +000
1
1222 +<<<
=
=>>>>>r c L t d D ]} t g d }d S )Nd r )ranger )r) rH s r tmanyr sA
3ZZ ! !
!
!! !r )__doc__
guppy.setsr r r objectr r6 r> rI rR rT rX r\ rl r r r r r r r r s " 9 8 8 8 8 8 8 8 8 8"? "? "? "? "?6 "? "? "?J t f (
{I k8 @ D6 _ _ _ _D $f C? C? C?L! ! ! ! !r