path: root/dev/doc/interp.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version 2.2 (Wed Jan 19 21:09:25 UTC 2005)
%%For: (herbelin) Hugo Herbelin
%%Title: G
%%Pages: (atend)
%%BoundingBox: 35 35 577 160
%%EndComments
save
%%BeginProlog
/DotDict 200 dict def
DotDict begin

/setupLatin1 {
mark
/EncodingVector 256 array def
 EncodingVector 0

ISOLatin1Encoding 0 255 getinterval putinterval

EncodingVector
  dup 306 /AE
  dup 301 /Aacute
  dup 302 /Acircumflex
  dup 304 /Adieresis
  dup 300 /Agrave
  dup 305 /Aring
  dup 303 /Atilde
  dup 307 /Ccedilla
  dup 311 /Eacute
  dup 312 /Ecircumflex
  dup 313 /Edieresis
  dup 310 /Egrave
  dup 315 /Iacute
  dup 316 /Icircumflex
  dup 317 /Idieresis
  dup 314 /Igrave
  dup 334 /Udieresis
  dup 335 /Yacute
  dup 376 /thorn
  dup 337 /germandbls
  dup 341 /aacute
  dup 342 /acircumflex
  dup 344 /adieresis
  dup 346 /ae
  dup 340 /agrave
  dup 345 /aring
  dup 347 /ccedilla
  dup 351 /eacute
  dup 352 /ecircumflex
  dup 353 /edieresis
  dup 350 /egrave
  dup 355 /iacute
  dup 356 /icircumflex
  dup 357 /idieresis
  dup 354 /igrave
  dup 360 /dcroat
  dup 361 /ntilde
  dup 363 /oacute
  dup 364 /ocircumflex
  dup 366 /odieresis
  dup 362 /ograve
  dup 365 /otilde
  dup 370 /oslash
  dup 372 /uacute
  dup 373 /ucircumflex
  dup 374 /udieresis
  dup 371 /ugrave
  dup 375 /yacute
  dup 377 /ydieresis  

% Set up ISO Latin 1 character encoding
/starnetISO {
        dup dup findfont dup length dict begin
        { 1 index /FID ne { def }{ pop pop } ifelse
        } forall
        /Encoding EncodingVector def
        currentdict end definefont
} def
/Times-Roman starnetISO def
/Times-Italic starnetISO def
/Times-Bold starnetISO def
/Times-BoldItalic starnetISO def
/Helvetica starnetISO def
/Helvetica-Oblique starnetISO def
/Helvetica-Bold starnetISO def
/Helvetica-BoldOblique starnetISO def
/Courier starnetISO def
/Courier-Oblique starnetISO def
/Courier-Bold starnetISO def
/Courier-BoldOblique starnetISO def
cleartomark
} bind def

%%BeginResource: procset graphviz 0 0
/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 { [] 0 setdash } 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
/alignedtext {			% width adj text
	/text exch def
	/adj exch def
	/width exch def
	gsave
		width 0 gt {
			text stringwidth pop adj mul 0 rmoveto
		} if
		[] 0 setdash
		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
/showpage { } def

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

/layerlen layercolorseq length def

/setlayer {/maxlayer exch def /curlayer exch def
	layercolorseq curlayer 1 sub layerlen mod 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
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

%%EndSetup
%%Page: 1 1
%%PageBoundingBox: 36 36 577 160
%%PageOrientation: Portrait
gsave
35 35 542 125 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.9343 set_scale
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	Syntax_def
gsave 10 dict begin
303 110 45 18 ellipse_path
stroke
gsave 10 dict begin
271 105 moveto
(Syntax_def)
[7.68 6.96 6.96 4.08 6.24 6.96 6.96 6.96 6.24 4.56]
xshow
end grestore
end grestore

%	Notation
gsave 10 dict begin
422 60 38 18 ellipse_path
stroke
gsave 10 dict begin
397 55 moveto
(Notation)
[9.84 6.72 4.08 6.24 3.84 3.84 6.96 6.96]
xshow
end grestore
end grestore

%	Syntax_def -> Notation
newpath 334 97 moveto
350 90 369 83 385 76 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 386 79 moveto
394 72 lineto
383 73 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 386 79 moveto
394 72 lineto
383 73 lineto
closepath
stroke
end grestore

%	Ppextend
gsave 10 dict begin
537 60 39 18 ellipse_path
stroke
gsave 10 dict begin
511 55 moveto
(Ppextend)
[7.68 6.96 5.76 6.96 3.84 6.24 6.96 6.96]
xshow
end grestore
end grestore

%	Notation -> Ppextend
newpath 460 60 moveto
469 60 478 60 488 60 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 488 64 moveto
498 60 lineto
488 57 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 488 64 moveto
498 60 lineto
488 57 lineto
closepath
stroke
end grestore

%	Topconstr
gsave 10 dict begin
537 114 41 18 ellipse_path
stroke
gsave 10 dict begin
509 109 moveto
(Topconstr)
[7.2 6.96 6.96 6.24 6.96 6.96 5.28 3.84 4.56]
xshow
end grestore
end grestore

%	Notation -> Topconstr
newpath 449 73 moveto
464 80 483 89 500 97 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 498 100 moveto
509 101 lineto
501 94 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 498 100 moveto
509 101 lineto
501 94 lineto
closepath
stroke
end grestore

%	Modintern
gsave 10 dict begin
44 98 43 18 ellipse_path
stroke
gsave 10 dict begin
13 93 moveto
(Modintern)
[12.48 6.96 6.96 3.84 6.96 3.84 6.24 4.8 6.96]
xshow
end grestore
end grestore

%	Constrintern
gsave 10 dict begin
173 98 48 18 ellipse_path
stroke
gsave 10 dict begin
138 93 moveto
(Constrintern)
[9.36 6.96 6.96 5.28 3.84 4.8 3.84 6.96 3.84 6.24 4.8 6.96]
xshow
end grestore
end grestore

%	Modintern -> Constrintern
newpath 88 98 moveto
97 98 106 98 115 98 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 115 102 moveto
125 98 lineto
115 95 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 115 102 moveto
125 98 lineto
115 95 lineto
closepath
stroke
end grestore

%	Constrintern -> Syntax_def
newpath 220 102 moveto
229 103 239 104 249 105 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 249 108 moveto
259 106 lineto
249 102 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 249 108 moveto
259 106 lineto
249 102 lineto
closepath
stroke
end grestore

%	Reserve
gsave 10 dict begin
303 56 35 18 ellipse_path
stroke
gsave 10 dict begin
280 51 moveto
(Reserve)
[9.12 6.24 5.52 6.24 4.8 6.48 6.24]
xshow
end grestore
end grestore

%	Constrintern -> Reserve
newpath 210 86 moveto
227 81 246 75 263 69 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 264 72 moveto
273 66 lineto
262 66 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 264 72 moveto
273 66 lineto
262 66 lineto
closepath
stroke
end grestore

%	Genarg
gsave 10 dict begin
422 114 33 18 ellipse_path
stroke
gsave 10 dict begin
401 109 moveto
(Genarg)
[10.08 6.24 6.96 6.24 4.32 6.96]
xshow
end grestore
end grestore

%	Genarg -> Topconstr
newpath 456 114 moveto
465 114 476 114 486 114 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 486 118 moveto
496 114 lineto
486 111 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 486 118 moveto
496 114 lineto
486 111 lineto
closepath
stroke
end grestore

%	Coqlib
gsave 10 dict begin
44 21 32 18 ellipse_path
stroke
gsave 10 dict begin
24 16 moveto
(Coqlib)
[9.36 6.96 6.96 3.84 3.84 6.96]
xshow
end grestore
end grestore

%	Constrextern
gsave 10 dict begin
173 21 49 18 ellipse_path
stroke
gsave 10 dict begin
137 16 moveto
(Constrextern)
[9.36 6.96 6.96 5.28 3.84 4.56 5.76 6.96 3.84 6.24 4.8 6.96]
xshow
end grestore
end grestore

%	Coqlib -> Constrextern
newpath 77 21 moveto
88 21 101 21 114 21 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 114 25 moveto
124 21 lineto
114 18 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 114 25 moveto
124 21 lineto
114 18 lineto
closepath
stroke
end grestore

%	Constrextern -> Notation
newpath 222 19 moveto
257 18 307 20 348 29 curveto
361 31 375 37 388 42 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 386 45 moveto
397 46 lineto
389 39 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 386 45 moveto
397 46 lineto
389 39 lineto
closepath
stroke
end grestore

%	Constrextern -> Reserve
newpath 213 32 moveto
228 36 246 41 261 45 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
newpath 260 48 moveto
271 48 lineto
262 42 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
newpath 260 48 moveto
271 48 lineto
262 42 lineto
closepath
stroke
end grestore
endpage
showpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF