path: root/doc/kernel.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version uwin98 (01-26-98)
%%For: (jc) Jean-Christophe,,,,
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 577 94
%%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 94
gsave
35 35 542 59 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.4000 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
1221 72 27 18 ellipse_path
stroke
gsave 10 dict begin
1221 73 moveto (Univ) 28 14.00 -0.50 alignedtext
end grestore
end grestore

%	Names
gsave 10 dict begin
1320 45 29 18 ellipse_path
stroke
gsave 10 dict begin
1320 46 moveto (Names) 38 14.00 -0.50 alignedtext
end grestore
end grestore

%	Univ -> Names
newpath 1246 65 moveto
1258 62 1271 58 1284 55 curveto
stroke
newpath 1283 53 moveto
1293 52 lineto
1284 58 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Reduction
gsave 10 dict begin
375 97 39 18 ellipse_path
stroke
gsave 10 dict begin
375 98 moveto (Reduction) 57 14.00 -0.50 alignedtext
end grestore
end grestore

%	Typeops -> Reduction
newpath 296 78 moveto
307 80 319 83 330 86 curveto
stroke
newpath 331 84 moveto
340 89 lineto
330 89 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Typeops -> Type_errors
newpath 299 66 moveto
337 62 399 55 443 51 curveto
stroke
newpath 442 49 moveto
452 50 lineto
442 54 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Closure
gsave 10 dict begin
495 99 32 18 ellipse_path
stroke
gsave 10 dict begin
495 100 moveto (Closure) 43 14.00 -0.50 alignedtext
end grestore
end grestore

%	Reduction -> Closure
newpath 414 98 moveto
427 98 441 98 453 98 curveto
stroke
newpath 453 96 moveto
463 98 lineto
453 101 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Environ
gsave 10 dict begin
815 72 33 18 ellipse_path
stroke
gsave 10 dict begin
815 73 moveto (Environ) 45 14.00 -0.50 alignedtext
end grestore
end grestore

%	Type_errors -> Environ
newpath 539 49 moveto
601 54 713 63 774 68 curveto
stroke
newpath 772 65 moveto
782 69 lineto
772 70 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Inductive
gsave 10 dict begin
927 126 36 18 ellipse_path
stroke
gsave 10 dict begin
927 127 moveto (Inductive) 52 14.00 -0.50 alignedtext
end grestore
end grestore

%	Environ -> Inductive
newpath 840 84 moveto
855 92 875 101 892 109 curveto
stroke
newpath 893 107 moveto
901 113 lineto
891 111 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Abstraction
gsave 10 dict begin
927 18 43 18 ellipse_path
stroke
gsave 10 dict begin
927 19 moveto (Abstraction) 65 14.00 -0.50 alignedtext
end grestore
end grestore

%	Environ -> Abstraction
newpath 840 60 moveto
854 53 874 44 890 36 curveto
stroke
newpath 889 34 moveto
899 32 lineto
891 38 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Constant
gsave 10 dict begin
927 72 35 18 ellipse_path
stroke
gsave 10 dict begin
927 73 moveto (Constant) 49 14.00 -0.50 alignedtext
end grestore
end grestore

%	Environ -> Constant
newpath 848 72 moveto
859 72 871 72 882 72 curveto
stroke
newpath 882 70 moveto
892 72 lineto
882 75 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Term
gsave 10 dict begin
1125 45 27 18 ellipse_path
stroke
gsave 10 dict begin
1125 46 moveto (Term) 30 14.00 -0.50 alignedtext
end grestore
end grestore

%	Term -> Univ
newpath 1150 52 moveto
1161 55 1175 59 1187 62 curveto
stroke
newpath 1187 59 moveto
1196 65 lineto
1186 64 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Generic
gsave 10 dict begin
1221 18 32 18 ellipse_path
stroke
gsave 10 dict begin
1221 19 moveto (Generic) 44 14.00 -0.50 alignedtext
end grestore
end grestore

%	Term -> Generic
newpath 1150 38 moveto
1160 35 1171 32 1182 29 curveto
stroke
newpath 1182 26 moveto
1192 26 lineto
1183 31 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Generic -> Names
newpath 1250 26 moveto
1260 29 1273 32 1284 35 curveto
stroke
newpath 1284 32 moveto
1293 38 lineto
1283 37 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Sosub
gsave 10 dict begin
1034 18 27 18 ellipse_path
stroke
gsave 10 dict begin
1034 19 moveto (Sosub) 34 14.00 -0.50 alignedtext
end grestore
end grestore

%	Sosub -> Term
newpath 1059 26 moveto
1069 29 1080 32 1091 35 curveto
stroke
newpath 1091 32 moveto
1100 38 lineto
1090 37 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Sign
gsave 10 dict begin
1034 72 27 18 ellipse_path
stroke
gsave 10 dict begin
1034 73 moveto (Sign) 25 14.00 -0.50 alignedtext
end grestore
end grestore

%	Sign -> Term
newpath 1059 65 moveto
1069 62 1080 58 1091 55 curveto
stroke
newpath 1090 53 moveto
1100 53 lineto
1091 58 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Safe_typing -> Indtypes
newpath 88 70 moveto
97 70 106 70 114 70 curveto
stroke
newpath 114 68 moveto
124 70 lineto
114 73 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Indtypes -> Typeops
newpath 194 70 moveto
203 70 212 70 220 70 curveto
stroke
newpath 220 68 moveto
230 70 lineto
220 73 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Instantiate
gsave 10 dict begin
616 98 39 18 ellipse_path
stroke
gsave 10 dict begin
616 99 moveto (Instantiate) 58 14.00 -0.50 alignedtext
end grestore
end grestore

%	Closure -> Instantiate
newpath 527 99 moveto
539 99 553 98 566 98 curveto
stroke
newpath 566 96 moveto
576 98 lineto
566 101 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evd
gsave 10 dict begin
719 96 27 18 ellipse_path
stroke
gsave 10 dict begin
719 97 moveto (Evd) 22 14.00 -0.50 alignedtext
end grestore
end grestore

%	Instantiate -> Evd
newpath 656 97 moveto
665 97 674 97 682 97 curveto
stroke
newpath 682 95 moveto
692 97 lineto
682 100 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evd -> Environ
newpath 744 90 moveto
754 88 765 85 775 82 curveto
stroke
newpath 775 80 moveto
785 80 lineto
776 84 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Inductive -> Sign
newpath 953 113 moveto
968 105 988 96 1004 87 curveto
stroke
newpath 1002 85 moveto
1012 83 lineto
1004 90 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Abstraction -> Sosub
newpath 970 18 moveto
979 18 988 18 996 18 curveto
stroke
newpath 996 16 moveto
1006 18 lineto
996 21 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Constant -> Sign
newpath 962 72 moveto
974 72 986 72 997 72 curveto
stroke
newpath 997 70 moveto
1007 72 lineto
997 75 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF