diff options
| author | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-11 00:10:50 +0200 |
|---|---|---|
| committer | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-11 00:10:50 +0200 |
| commit | bf5b05a84e877391fddd1b0a0b752f71ec05e901 (patch) | |
| tree | 149609eeff1d475cd60f398f0e4bfd786c5d281c /synthetic/bck/figure/tikz/data.tex | |
| parent | 03556b31409ac5e8b81283d3a6481691c11846d7 (diff) | |
Preuve existe f pas cca equivalant exists f BA pas randomguess
Diffstat (limited to 'synthetic/bck/figure/tikz/data.tex')
| -rw-r--r-- | synthetic/bck/figure/tikz/data.tex | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/synthetic/bck/figure/tikz/data.tex b/synthetic/bck/figure/tikz/data.tex new file mode 100644 index 0000000..663b59c --- /dev/null +++ b/synthetic/bck/figure/tikz/data.tex @@ -0,0 +1,20 @@ +\makeatletter +\tikzset{ + database/.style={ + path picture={ + \draw (0, 1.5*\database@segmentheight) circle [x radius=\database@radius,y radius=\database@aspectratio*\database@radius]; + \draw (-\database@radius, 0.5*\database@segmentheight) arc [start angle=180,end angle=360,x radius=\database@radius, y radius=\database@aspectratio*\database@radius]; + \draw (-\database@radius,-0.5*\database@segmentheight) arc [start angle=180,end angle=360,x radius=\database@radius, y radius=\database@aspectratio*\database@radius]; + \draw (-\database@radius,1.5*\database@segmentheight) -- ++(0,-3*\database@segmentheight) arc [start angle=180,end angle=360,x radius=\database@radius, y radius=\database@aspectratio*\database@radius] -- ++(0,3*\database@segmentheight); + }, + minimum width=2*\database@radius + \pgflinewidth, + minimum height=3*\database@segmentheight + 2*\database@aspectratio*\database@radius + \pgflinewidth, + }, + database segment height/.store in=\database@segmentheight, + database radius/.store in=\database@radius, + database aspect ratio/.store in=\database@aspectratio, + database segment height=0.1cm, + database radius=0.25cm, + database aspect ratio=0.35, +} +\makeatother |