path: root/doc/kernel.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version uwin98 (01-26-98)
%%For: Gros nain
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 577 91
%%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

%%EndResource
%%EndProlog
%%BeginSetup
14 default-font-family set_font
% /arrowlength 10 def
% /arrowwidth 5 def
%%EndSetup
%%Page: 1 1
%%PageBoundingBox: 36 36 577 91
gsave
35 35 542 56 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.3982 set_scale
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	Univ
gsave 10 dict begin
1231 101 27 18 ellipse_path
stroke
gsave 10 dict begin
1231 102 moveto (Univ) 28 14.00 -0.50 alignedtext
end grestore
end grestore

%	Names
gsave 10 dict begin
1326 101 29 18 ellipse_path
stroke
gsave 10 dict begin
1326 102 moveto (Names) 38 14.00 -0.50 alignedtext
end grestore
end grestore

%	Univ -> Names
newpath 1258 101 moveto
1267 101 1277 101 1286 101 curveto
stroke
newpath 1286 99 moveto
1296 101 lineto
1286 104 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Typeops -> Inductive
newpath 299 66 moveto
310 67 323 68 334 69 curveto
stroke
newpath 334 67 moveto
344 70 lineto
334 71 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Typeops -> Type_errors
newpath 292 53 moveto
306 47 324 41 340 35 curveto
stroke
newpath 339 33 moveto
349 31 lineto
341 37 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Reduction
gsave 10 dict begin
501 72 39 18 ellipse_path
stroke
gsave 10 dict begin
501 73 moveto (Reduction) 57 14.00 -0.50 alignedtext
end grestore
end grestore

%	Inductive -> Reduction
newpath 418 72 moveto
429 72 441 72 452 72 curveto
stroke
newpath 452 70 moveto
462 72 lineto
452 75 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Type_errors -> Reduction
newpath 411 31 moveto
427 39 448 48 465 55 curveto
stroke
newpath 465 52 moveto
473 59 lineto
463 57 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Closure
gsave 10 dict begin
608 72 32 18 ellipse_path
stroke
gsave 10 dict begin
608 73 moveto (Closure) 43 14.00 -0.50 alignedtext
end grestore
end grestore

%	Reduction -> Closure
newpath 540 72 moveto
549 72 558 72 566 72 curveto
stroke
newpath 566 70 moveto
576 72 lineto
566 75 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Term
gsave 10 dict begin
1139 74 27 18 ellipse_path
stroke
gsave 10 dict begin
1139 75 moveto (Term) 30 14.00 -0.50 alignedtext
end grestore
end grestore

%	Term -> Univ
newpath 1164 81 moveto
1174 84 1186 88 1197 91 curveto
stroke
newpath 1197 88 moveto
1206 94 lineto
1196 93 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Esubst
gsave 10 dict begin
1231 47 29 18 ellipse_path
stroke
gsave 10 dict begin
1231 48 moveto (Esubst) 37 14.00 -0.50 alignedtext
end grestore
end grestore

%	Term -> Esubst
newpath 1164 67 moveto
1174 64 1185 61 1196 58 curveto
stroke
newpath 1195 56 moveto
1205 55 lineto
1196 61 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Sign
gsave 10 dict begin
1049 74 27 18 ellipse_path
stroke
gsave 10 dict begin
1049 75 moveto (Sign) 25 14.00 -0.50 alignedtext
end grestore
end grestore

%	Sign -> Term
newpath 1076 74 moveto
1084 74 1093 74 1102 74 curveto
stroke
newpath 1102 72 moveto
1112 74 lineto
1102 77 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Cooking
gsave 10 dict begin
265 118 34 18 ellipse_path
stroke
gsave 10 dict begin
265 119 moveto (Cooking) 48 14.00 -0.50 alignedtext
end grestore
end grestore

%	Safe_typing -> Cooking
newpath 86 97 moveto
126 102 184 109 223 113 curveto
stroke
newpath 221 110 moveto
231 114 lineto
221 115 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Indtypes
gsave 10 dict begin
159 68 34 18 ellipse_path
stroke
gsave 10 dict begin
159 69 moveto (Indtypes) 48 14.00 -0.50 alignedtext
end grestore
end grestore

%	Safe_typing -> Indtypes
newpath 83 84 moveto
94 82 106 79 117 77 curveto
stroke
newpath 117 75 moveto
127 75 lineto
118 79 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Cooking -> Reduction
newpath 300 116 moveto
336 114 393 109 426 102 curveto
437 99 453 94 468 88 curveto
stroke
newpath 464 87 moveto
474 85 lineto
466 92 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Indtypes -> Typeops
newpath 193 67 moveto
203 67 213 66 224 66 curveto
stroke
newpath 221 64 moveto
231 66 lineto
221 69 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Instantiate
gsave 10 dict begin
716 72 39 18 ellipse_path
stroke
gsave 10 dict begin
716 73 moveto (Instantiate) 58 14.00 -0.50 alignedtext
end grestore
end grestore

%	Closure -> Instantiate
newpath 640 72 moveto
648 72 657 72 666 72 curveto
stroke
newpath 666 70 moveto
676 72 lineto
666 75 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Environ
gsave 10 dict begin
825 99 33 18 ellipse_path
stroke
gsave 10 dict begin
825 100 moveto (Environ) 45 14.00 -0.50 alignedtext
end grestore
end grestore

%	Instantiate -> Environ
newpath 751 81 moveto
762 84 774 87 786 89 curveto
stroke
newpath 786 86 moveto
795 92 lineto
785 91 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evd
gsave 10 dict begin
940 47 27 18 ellipse_path
stroke
gsave 10 dict begin
940 48 moveto (Evd) 22 14.00 -0.50 alignedtext
end grestore
end grestore

%	Instantiate -> Evd
newpath 755 68 moveto
797 63 864 56 905 51 curveto
stroke
newpath 903 49 moveto
913 50 lineto
903 54 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Declarations
gsave 10 dict begin
940 101 45 18 ellipse_path
stroke
gsave 10 dict begin
940 102 moveto (Declarations) 70 14.00 -0.50 alignedtext
end grestore
end grestore

%	Environ -> Declarations
newpath 858 100 moveto
866 100 875 100 884 100 curveto
stroke
newpath 884 98 moveto
894 100 lineto
884 103 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evd -> Sign
newpath 966 53 moveto
980 56 998 61 1015 65 curveto
stroke
newpath 1015 62 moveto
1024 68 lineto
1014 67 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Declarations -> Sign
newpath 979 91 moveto
991 89 1003 86 1015 83 curveto
stroke
newpath 1014 81 moveto
1024 80 lineto
1015 86 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF