path: root/doc/kernel.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version gviz 1.7.3b (Mon Feb 26 14:10:22 EST 2001)
%%For: (herbelin) Hugo Herbelin
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 576 70
%%EndComments
%%BeginProlog
save
/DotDict 200 dict def
DotDict begin

%%BeginResource: procset
/coord-font-family /Times-Roman def
/default-font-family /Times-Roman def
/coordfont coord-font-family findfont 8 scalefont def

/InvScaleFactor 1.0 def
/set_scale {
	dup 1 exch div /InvScaleFactor exch def
	dup scale
} bind def

% styles
/solid { } bind def
/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
/bold { 2 setlinewidth } bind def
/filled { } bind def
/unfilled { } bind def
/rounded { } bind def
/diagonals { } bind def

% hooks for setting color 
/nodecolor { sethsbcolor } bind def
/edgecolor { sethsbcolor } bind def
/graphcolor { sethsbcolor } bind def
/nopcolor {pop pop pop} bind def

/beginpage {	% i j npages
	/npages exch def
	/j exch def
	/i exch def
	/str 10 string def
	npages 1 gt {
		gsave
			coordfont setfont
			0 0 moveto
			(\() show i str cvs show (,) show j str cvs show (\)) show
		grestore
	} if
} bind def

/set_font {
	findfont exch
	scalefont setfont
} def

% draw aligned label in bounding box aligned to current point
% alignfactor tells what fraction to place on the left.
% -.5 is centered.
/alignedtext {			% text labelwidth fontsz alignfactor
	/alignfactor exch def
	/fontsz exch def
	/width exch def
	/text exch def
	gsave
		% even if node or edge is dashed, don't paint text with dashes
		[] 0 setdash
		currentpoint newpath moveto
		text stringwidth pop
		alignfactor mul fontsz -.3 mul rmoveto
		text show
	grestore
} def

/boxprim {				% xcorner ycorner xsize ysize
		4 2 roll
		moveto
		2 copy
		exch 0 rlineto
		0 exch rlineto
		pop neg 0 rlineto
		closepath
} bind def

/ellipse_path {
	/ry exch def
	/rx exch def
	/y exch def
	/x exch def
	matrix currentmatrix
	newpath
	x y translate
	rx ry scale
	0 0 1 0 360 arc
	setmatrix
} bind def

/endpage { showpage } bind def

/layercolorseq
	[	% layer color sequence - darkest to lightest
		[0 0 0]
		[.2 .8 .8]
		[.4 .8 .8]
		[.6 .8 .8]
		[.8 .8 .8]
	]
def

/setlayer {/maxlayer exch def /curlayer exch def
	layercolorseq curlayer get
	aload pop sethsbcolor
	/nodecolor {nopcolor} def
	/edgecolor {nopcolor} def
	/graphcolor {nopcolor} def
} bind def

/onlayer { curlayer ne {invis} if } def

/onlayers {
	/myupper exch def
	/mylower exch def
	curlayer mylower lt
	curlayer myupper gt
	or
	{invis} if
} def

/curlayer 0 def

%%EndProlog
%%BeginSetup
14 default-font-family set_font
1 setmiterlimit
% /arrowlength 10 def
% /arrowwidth 5 def

% make sure pdfmark is harmless for PS-interpreters other than Distiller
/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
% make '<<' and '>>' safe on PS Level 1 devices
/languagelevel where {pop languagelevel}{1} ifelse
2 lt {
    userdict (<<) cvn ([) cvn load put
    userdict (>>) cvn ([) cvn load put
} if

%%EndResource
%%EndSetup
%%Page: 1 1
%%PageBoundingBox: 36 36 576 70
%%PageOrientation: Portrait
gsave
35 35 541 35 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.3614 set_scale
0 0 translate 0 rotate
[ /CropBox [36 36 576 70] /PAGES pdfmark
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	Univ
gsave 10 dict begin
1361 74 27 18 ellipse_path
stroke
gsave 10 dict begin
1361 75 moveto (Univ) 28 14.00 -0.50 alignedtext
end grestore
end grestore

%	Names
gsave 10 dict begin
1456 74 29 18 ellipse_path
stroke
gsave 10 dict begin
1456 75 moveto (Names) 38 14.00 -0.50 alignedtext
end grestore
end grestore

%	Univ -> Names
newpath 1388 74 moveto
1397 74 1407 74 1416 74 curveto
stroke
newpath 1416 72 moveto
1426 74 lineto
1416 77 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Typeops
gsave 10 dict begin
273 18 34 18 ellipse_path
stroke
gsave 10 dict begin
273 19 moveto (Typeops) 48 14.00 -0.50 alignedtext
end grestore
end grestore

%	Inductive
gsave 10 dict begin
381 20 36 18 ellipse_path
stroke
gsave 10 dict begin
381 21 moveto (Inductive) 52 14.00 -0.50 alignedtext
end grestore
end grestore

%	Typeops -> Inductive
newpath 308 19 moveto
317 19 326 19 334 19 curveto
stroke
newpath 334 17 moveto
344 19 lineto
334 22 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Type_errors
gsave 10 dict begin
499 24 44 18 ellipse_path
stroke
gsave 10 dict begin
499 25 moveto (Type_errors) 68 14.00 -0.50 alignedtext
end grestore
end grestore

%	Inductive -> Type_errors
newpath 418 21 moveto
426 21 435 22 444 22 curveto
stroke
newpath 444 20 moveto
454 22 lineto
444 25 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Reduction
gsave 10 dict begin
619 47 39 18 ellipse_path
stroke
gsave 10 dict begin
619 48 moveto (Reduction) 57 14.00 -0.50 alignedtext
end grestore
end grestore

%	Type_errors -> Reduction
newpath 539 32 moveto
550 34 562 36 573 38 curveto
stroke
newpath 574 36 moveto
583 40 lineto
573 40 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Conv_oracle
gsave 10 dict begin
740 47 46 18 ellipse_path
stroke
gsave 10 dict begin
740 48 moveto (Conv_oracle) 71 14.00 -0.50 alignedtext
end grestore
end grestore

%	Reduction -> Conv_oracle
newpath 658 47 moveto
667 47 675 47 684 47 curveto
stroke
newpath 684 45 moveto
694 47 lineto
684 50 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Term
gsave 10 dict begin
1269 47 27 18 ellipse_path
stroke
gsave 10 dict begin
1269 48 moveto (Term) 30 14.00 -0.50 alignedtext
end grestore
end grestore

%	Term -> Univ
newpath 1294 54 moveto
1304 57 1316 61 1327 64 curveto
stroke
newpath 1327 61 moveto
1336 67 lineto
1326 66 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Esubst
gsave 10 dict begin
1361 20 29 18 ellipse_path
stroke
gsave 10 dict begin
1361 21 moveto (Esubst) 37 14.00 -0.50 alignedtext
end grestore
end grestore

%	Term -> Esubst
newpath 1294 40 moveto
1304 37 1315 34 1326 31 curveto
stroke
newpath 1325 29 moveto
1335 28 lineto
1326 34 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Sign
gsave 10 dict begin
1179 47 27 18 ellipse_path
stroke
gsave 10 dict begin
1179 48 moveto (Sign) 25 14.00 -0.50 alignedtext
end grestore
end grestore

%	Sign -> Term
newpath 1206 47 moveto
1214 47 1223 47 1232 47 curveto
stroke
newpath 1232 45 moveto
1242 47 lineto
1232 50 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Safe_typing
gsave 10 dict begin
52 46 44 18 ellipse_path
stroke
gsave 10 dict begin
52 47 moveto (Safe_typing) 67 14.00 -0.50 alignedtext
end grestore
end grestore

%	Cooking
gsave 10 dict begin
273 72 34 18 ellipse_path
stroke
gsave 10 dict begin
273 73 moveto (Cooking) 48 14.00 -0.50 alignedtext
end grestore
end grestore

%	Safe_typing -> Cooking
newpath 94 51 moveto
134 56 192 63 231 67 curveto
stroke
newpath 229 64 moveto
239 68 lineto
229 69 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Indtypes
gsave 10 dict begin
167 22 34 18 ellipse_path
stroke
gsave 10 dict begin
167 23 moveto (Indtypes) 48 14.00 -0.50 alignedtext
end grestore
end grestore

%	Safe_typing -> Indtypes
newpath 91 38 moveto
102 36 114 33 125 31 curveto
stroke
newpath 125 29 moveto
135 29 lineto
126 33 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Cooking -> Reduction
newpath 307 70 moveto
369 65 500 56 571 51 curveto
stroke
newpath 570 49 moveto
580 50 lineto
570 54 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Indtypes -> Typeops
newpath 201 21 moveto
211 21 221 20 232 20 curveto
stroke
newpath 229 18 moveto
239 20 lineto
229 23 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Closure
gsave 10 dict begin
854 47 32 18 ellipse_path
stroke
gsave 10 dict begin
854 48 moveto (Closure) 43 14.00 -0.50 alignedtext
end grestore
end grestore

%	Conv_oracle -> Closure
newpath 786 47 moveto
795 47 804 47 812 47 curveto
stroke
newpath 812 45 moveto
822 47 lineto
812 50 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Environ
gsave 10 dict begin
955 47 33 18 ellipse_path
stroke
gsave 10 dict begin
955 48 moveto (Environ) 45 14.00 -0.50 alignedtext
end grestore
end grestore

%	Declarations
gsave 10 dict begin
1070 47 45 18 ellipse_path
stroke
gsave 10 dict begin
1070 48 moveto (Declarations) 70 14.00 -0.50 alignedtext
end grestore
end grestore

%	Environ -> Declarations
newpath 988 47 moveto
996 47 1005 47 1014 47 curveto
stroke
newpath 1014 45 moveto
1024 47 lineto
1014 50 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Declarations -> Sign
newpath 1116 47 moveto
1125 47 1134 47 1142 47 curveto
stroke
newpath 1142 45 moveto
1152 47 lineto
1142 50 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Closure -> Environ
newpath 886 47 moveto
894 47 903 47 912 47 curveto
stroke
newpath 912 45 moveto
922 47 lineto
912 50 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF