File: flat-module.tikz

package info (click to toggle)
cafeobj 1.6.0-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 19,900 kB
  • sloc: lisp: 85,055; sh: 659; makefile: 437; perl: 147
file content (28 lines) | stat: -rw-r--r-- 1,081 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
\definecolor{blueish}{HTML}{9CA4F2}
\definecolor{grenish}{HTML}{8BFDBD}
\definecolor{yellish}{HTML}{D4FE76}
\definecolor{pinkish}{HTML}{B8AAB1}
\def\firstcircle{(0,1cm) ellipse (1.4cm and 0.9cm)}
\def\secondcircle{(1.8cm,0) ellipse (2cm and 1cm)}
\def\thirdcircle{(0.1cm,-0.9cm) ellipse (0.8cm and 1.2cm)}
\def\forthcircle{(-1cm,0) ellipse (1.2cm and 0.7cm)}
\begin{center}
\begin{tikzpicture}
  \begin{scope}[fill opacity=0.5]
    \fill[yellish] \firstcircle;
    \fill[blueish] \secondcircle;
    \fill[pinkish] \thirdcircle;
    \fill[grenish] \forthcircle;
  \end{scope}
  \draw \firstcircle node[above] {ソートの};
  \draw \firstcircle node[below] {名前};
  \draw \secondcircle node[above] {オペレータの};
  \draw \secondcircle node[below] {名前};
  \draw \thirdcircle node[above] {公理の};
  \draw \thirdcircle node[below] {名前};
  \draw \forthcircle node[above] {変数の};
  \draw \forthcircle node[below] {名前};
  \draw (-3cm,-2.6cm) rectangle (4.4cm,2.4cm);
  \draw (4.4cm,2.4cm) node[below left] {モジュール};
\end{tikzpicture}
\end{center}