Skip to content
Snippets Groups Projects
Commit b3e44ec5 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

shorter images

parent 9f8edb64
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 27 additions and 27 deletions
adoptions/patterns.tex
+ 27
− 27
View file @ b3e44ec5
......@@ -36,22 +36,22 @@ The relation $r$ is between the recap and the cited paper is left unspecified at
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,2.8) {};
%p-paper
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4.5,-0.5) rectangle (-1.5,2.8) {};
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4.2,-0.5) rectangle (-1.8,2.8) {};
%p1
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-0.5,-1.5) rectangle (1.5,1.8) {};
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (p-name) at (-2,2.6) {$\mathit{Paper}$};
\node (r-name) at (4.5,2.6) {$\mathit{Realm}$};
\node (p-name) at (-1.7,2.6) {$\mathit{Paper}$};
\node (p1-name) at (0,1.6) {$\mathit{Pillar_1}$};
\node (p2-name) at (4.0,1.6) {$\mathit{Pillar_n}$};
\node[thy] (recap) at (-3,0) {Recap};
\node[thy] (pcont) at (-3,2) {Paper Content};
\node[thy] (pcont) at (-3,2) {Contribution};
\node[thy] (top1) at (0.5,1) {$\top$};
\node[thy] (citp) at (0.5,0) {Cited Paper};
......@@ -62,7 +62,7 @@ The relation $r$ is between the recap and the cited paper is left unspecified at
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (2,3) {Realm Face};
\node[thy] (r) at (2,2.3) {Realm Face};
\draw[view] (r) to node[above] {$\cn{v}$} (pcont);
\draw[view] (r) to node[left] {$\cn{v_1}$} (top1);
......@@ -103,7 +103,7 @@ It also makes $v$ exist as induced by $v_1$ modulo conservativity.
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,2.8) {};
%p-paper
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4.5,-0.5) rectangle (-1.5,2.8) {};
%p1
......@@ -111,7 +111,7 @@ It also makes $v$ exist as induced by $v_1$ modulo conservativity.
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (r-name) at (4.5,2.6) {$\mathit{Realm}$};
\node (p-name) at (-2,2.6) {$\mathit{Paper}$};
\node (p1-name) at (0,1.6) {$\mathit{Pillar_1}$};
\node (p2-name) at (4.0,1.6) {$\mathit{Pillar_n}$};
......@@ -128,7 +128,7 @@ It also makes $v$ exist as induced by $v_1$ modulo conservativity.
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (2,3) {Realm Face};
\node[thy] (r) at (2,2.3) {Realm Face};
\draw[view] (r) to node[above] {$\cn{v}$} (pcont);
\draw[view] (r) to node[left] {$\cn{v_1}$} (top1);
......@@ -151,13 +151,13 @@ It also makes $v$ exist as induced by $v_1$ modulo conservativity.
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-3,-3.7) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-3,-3.7) rectangle (5,2.8) {};
%p1
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-2.5,-3.5) rectangle (1.5,1.8) {};
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-3.5) rectangle (4.5,1.8) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (r-name) at (4.5,2.6) {$\mathit{Realm}$};
\node (p1-name) at (-2,1.6) {$\mathit{Pillar_1}$};
\node (p2-name) at (4.0,1.6) {$\mathit{Pillar_n}$};
......@@ -174,7 +174,7 @@ It also makes $v$ exist as induced by $v_1$ modulo conservativity.
\node[thy] (bot2) at (3.5,-3) {$\bot$};
\node[thy] (r) at (1.5,3) {Realm Face};
\node[thy] (r) at (1.5,2.3) {Realm Face};
\draw[view] (r) to node[left] {$\cn{v_1}$} (top1);
\draw[view] (r) to node[right] {$\cn{v_2}$} (top2);
......@@ -215,7 +215,7 @@ A flexiformal system can still reason about the meaning travel induced by a post
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,2.8) {};
%p-paper
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4.5,-0.5) rectangle (-1.5,2.8) {};
%p1
......@@ -223,7 +223,7 @@ A flexiformal system can still reason about the meaning travel induced by a post
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (r-name) at (4.5,2.6) {$\mathit{Realm}$};
\node (p-name) at (-2,2.6) {$\mathit{Paper}$};
\node (p1-name) at (0,1.6) {$\mathit{Pillar_1}$};
\node (p2-name) at (4.0,1.6) {$\mathit{Pillar_n}$};
......@@ -240,7 +240,7 @@ A flexiformal system can still reason about the meaning travel induced by a post
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (2,3) {Realm Face};
\node[thy] (r) at (2,2.3) {Realm Face};
\draw[view] (r) to node[above] {$\cn{v}$} (pcont);
\draw[view] (r) to node[left] {$\cn{v_1}$} (top1);
......@@ -274,7 +274,7 @@ we take into account conservativity to reduce them to the $\bot$ theory.
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4,-1.7) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4,-1.7) rectangle (5,2.8) {};
%p0
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-3.5,-1.5) rectangle (-1.5,1.8) {};
%p1
......@@ -282,7 +282,7 @@ we take into account conservativity to reduce them to the $\bot$ theory.
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (r-name) at (4.5,2.6) {$\mathit{Realm}$};
\node (p3-name) at (-2.8,1.6) {$\mathit{Pillar_{n+1}}$};
\node (p1-name) at (0,1.6) {$\mathit{Pillar_1}$};
\node (p2-name) at (4.0,1.6) {$\mathit{Pillar_n}$};
......@@ -301,7 +301,7 @@ we take into account conservativity to reduce them to the $\bot$ theory.
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (0.5,3) {Realm Face};
\node[thy] (r) at (0.5,2.3) {Realm Face};
\draw[view] (r) to node[above] {$\cn{v}$} (pcont);
\draw[view] (r) to node[left] {$\cn{v_1}$} (top1);
......@@ -344,7 +344,7 @@ precisely but there are some interesting things there, we should talk about it}
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,2.8) {};
%p-paper
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-6,-0.5) rectangle (-4,2.8) {};
%p1
......@@ -352,11 +352,11 @@ precisely but there are some interesting things there, we should talk about it}
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
%realm2
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-3.5,-2.3) rectangle (-1.5,-1) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-3.5,-1.8) rectangle (-1.5,-.5) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (r2-name) at (-2.1,-2.1) {$\mathit{Realm_2}$};
\node (r-name) at (4.5,2.6) {$\mathit{Realm}$};
\node (r2-name) at (-2.1,-1.6) {$\mathit{Realm_2}$};
\node (p-name) at (-4.5,2.6) {$\mathit{Paper}$};
\node (p1-name) at (0,1.6) {$\mathit{Pillar_1}$};
......@@ -366,7 +366,7 @@ precisely but there are some interesting things there, we should talk about it}
\node[thy] (recap) at (-5,0) {\cn{ATM}};
\node[thy] (pcont) at (-5,2) {\cn{ATMhalt}};
\node[thy] (citpex) at (-2.5,-1.5) {$\cn{atm}(2^{-n})$};
\node[thy] (citpex) at (-2.5,-1) {$\cn{atm}(2^{-n})$};
\draw[view] (recap) to node[above] {$\cn{v_{to}}$} (citpex);
\draw[include] (citp) to (citpex);
......@@ -379,7 +379,7 @@ precisely but there are some interesting things there, we should talk about it}
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (2,3) {Realm Face};
\node[thy] (r) at (2,2.3) {Realm Face};
\draw[view] (r) to node[above] {$\cn{v}$} (pcont);
\draw[view] (r) to node[left] {$\cn{v_1}$} (top1);
......@@ -410,7 +410,7 @@ given in the literature (which we represent as a realm).
\begin{figure}[ht]\centering
\begin{tikzpicture}
%realm
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,3.5) {};
\draw[draw=blue!40, fill=gray!4,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-1,-1.7) rectangle (5,2.8) {};
%p-paper
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (-4.5,-0.5) rectangle (-1.5,2.8) {};
%p1
......@@ -418,7 +418,7 @@ given in the literature (which we represent as a realm).
%p2
\draw[draw=blue!40, fill=gray!10,rectangle, rounded corners, inner sep=10pt, inner ysep=20pt] (2.5,-1.5) rectangle (4.5,1.8) {};
\node (r-name) at (4.5,3.3) {$\mathit{Realm}$};
\node (r-name) at (4.5,2.6) {$\mathit{Realm}$};
\node (p-name) at (-2,2.6) {$\mathit{Paper}$};
\node (p1-name) at (0,1.6) {$\mathit{Pillar_1}$};
\node (p2-name) at (4.0,1.6) {$\mathit{Pillar_n}$};
......@@ -434,7 +434,7 @@ given in the literature (which we represent as a realm).
\node[thy] (top2) at (3.5,1) {$\top$};
\node[thy] (bot2) at (3.5,-1) {$\bot$};
\node[thy] (r) at (2,3) {Realm Face};
\node[thy] (r) at (2,2.3) {Realm Face};
\draw[view] (r) to node[above] {$\cn{v}$} (pcont);
\draw[view] (r) to node[left] {$\cn{v_1}$} (top1);
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment