path: root/doc/library.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version 1.7.16 (Wed Feb  6 02:14:52 MST 2002)
%%For: (filliatr) Jean-Christophe Filliatre
%%Title: G
%%Pages: (atend)
%%BoundingBox: 35 35 577 174
%%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
/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
/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

/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
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 174
%%PageOrientation: Portrait
gsave
35 35 542 139 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.5444 set_scale
0 0 translate 0 rotate
[ /CropBox [36 36 577 174] /PAGES pdfmark
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	Summary
gsave 10 dict begin
688 134 45 18 ellipse_path
stroke
gsave 10 dict begin
688 129 moveto 69 -0.5 (Summary) alignedtext
end grestore
end grestore

%	Libnames
gsave 10 dict begin
815 107 44 18 ellipse_path
stroke
gsave 10 dict begin
815 102 moveto 67 -0.5 (Libnames) alignedtext
end grestore
end grestore

%	Summary -> Libnames
newpath 728 125 moveto
740 123 753 120 765 117 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 765 115 moveto
775 115 lineto
766 119 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Nameops
gsave 10 dict begin
940 107 43 18 ellipse_path
stroke
gsave 10 dict begin
940 102 moveto 65 -0.5 (Nameops) alignedtext
end grestore
end grestore

%	Libnames -> Nameops
newpath 860 107 moveto
869 107 877 107 886 107 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 886 105 moveto
896 107 lineto
886 110 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	States
gsave 10 dict begin
38 234 30 18 ellipse_path
stroke
gsave 10 dict begin
38 229 moveto 38 -0.5 (States) alignedtext
end grestore
end grestore

%	Library
gsave 10 dict begin
142 234 37 18 ellipse_path
stroke
gsave 10 dict begin
142 229 moveto 53 -0.5 (Library) alignedtext
end grestore
end grestore

%	States -> Library
newpath 68 234 moveto
76 234 85 234 94 234 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 94 232 moveto
104 234 lineto
94 237 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Declaremods
gsave 10 dict begin
298 234 55 18 ellipse_path
stroke
gsave 10 dict begin
298 229 moveto 89 -0.5 (Declaremods) alignedtext
end grestore
end grestore

%	Library -> Declaremods
newpath 180 234 moveto
196 234 215 234 232 234 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 232 232 moveto
242 234 lineto
232 237 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Nametab
gsave 10 dict begin
563 126 43 18 ellipse_path
stroke
gsave 10 dict begin
563 121 moveto 64 -0.5 (Nametab) alignedtext
end grestore
end grestore

%	Nametab -> Summary
newpath 606 129 moveto
615 130 624 130 633 130 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 633 128 moveto
643 131 lineto
633 132 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Lib
gsave 10 dict begin
450 99 27 18 ellipse_path
stroke
gsave 10 dict begin
450 94 moveto 23 -0.5 (Lib) alignedtext
end grestore
end grestore

%	Declaremods -> Lib
newpath 346 225 moveto
358 221 370 215 380 207 curveto
405 186 399 171 416 145 curveto
421 138 427 130 432 123 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 430 122 moveto
437 115 lineto
434 125 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Global
gsave 10 dict begin
450 172 33 18 ellipse_path
stroke
gsave 10 dict begin
450 167 moveto 45 -0.5 (Global) alignedtext
end grestore
end grestore

%	Declaremods -> Global
newpath 337 221 moveto
358 214 379 207 380 207 curveto
393 201 406 195 418 189 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 416 187 moveto
426 185 lineto
418 192 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Libobject
gsave 10 dict begin
688 80 43 18 ellipse_path
stroke
gsave 10 dict begin
688 75 moveto 65 -0.5 (Libobject) alignedtext
end grestore
end grestore

%	Libobject -> Libnames
newpath 727 88 moveto
739 90 753 93 766 96 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 767 94 moveto
776 98 lineto
766 98 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Lib -> Nametab
newpath 476 105 moveto
489 108 504 112 519 115 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 517 112 moveto
526 117 lineto
516 117 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Lib -> Libobject
newpath 477 97 moveto
516 94 589 88 638 84 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 635 82 moveto
645 83 lineto
635 87 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Impargs
gsave 10 dict begin
298 126 39 18 ellipse_path
stroke
gsave 10 dict begin
298 121 moveto 56 -0.5 (Impargs) alignedtext
end grestore
end grestore

%	Impargs -> Lib
newpath 334 120 moveto
359 116 391 110 415 105 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 414 103 moveto
424 104 lineto
414 108 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Impargs -> Global
newpath 331 136 moveto
355 143 387 153 412 161 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 412 158 moveto
421 163 lineto
411 163 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Global -> Summary
newpath 483 169 moveto
515 166 564 160 606 153 curveto
617 151 629 148 640 146 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 639 144 moveto
649 144 lineto
640 149 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Goptions
gsave 10 dict begin
298 72 42 18 ellipse_path
stroke
gsave 10 dict begin
298 67 moveto 62 -0.5 (Goptions) alignedtext
end grestore
end grestore

%	Goptions -> Lib
newpath 337 79 moveto
361 83 392 89 415 93 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 414 90 moveto
424 94 lineto
414 95 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Dischargedhypsmap
gsave 10 dict begin
298 18 81 18 ellipse_path
stroke
gsave 10 dict begin
298 13 moveto 141 -0.5 (Dischargedhypsmap) alignedtext
end grestore
end grestore

%	Dischargedhypsmap -> Lib
newpath 344 33 moveto
363 39 380 45 380 45 curveto
397 54 415 68 428 79 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 428 76 moveto
434 84 lineto
425 80 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Declare
gsave 10 dict begin
142 126 37 18 ellipse_path
stroke
gsave 10 dict begin
142 121 moveto 52 -0.5 (Declare) alignedtext
end grestore
end grestore

%	Declare -> Impargs
newpath 179 126 moveto
200 126 227 126 250 126 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 249 124 moveto
259 126 lineto
249 129 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Declare -> Dischargedhypsmap
newpath 157 109 moveto
178 86 213 48 216 45 curveto
221 42 230 38 241 35 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 239 33 moveto
249 32 lineto
241 38 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Decl_kinds
gsave 10 dict begin
298 180 50 18 ellipse_path
stroke
gsave 10 dict begin
298 175 moveto 78 -0.5 (Decl_kinds) alignedtext
end grestore
end grestore

%	Declare -> Decl_kinds
newpath 172 137 moveto
189 143 208 150 216 153 curveto
228 157 240 161 252 165 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 252 162 moveto
261 168 lineto
251 167 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF