| products/Sources/formale Sprachen/VDM/VDMRT/MSAWRT/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: gencode.eps Sprache: Unknown
|
%!PS-Adobe-2.0
%%DocumentsFonts:Helvetica-Bold %%BoundingBox: 161 555 554 730 %%Pages: 1 %%EndProlog % Driver PostScript -> PostScript VERILOG %%Page: 0 %% DRIVER_RESULT_PAGE_0 1 setlinecap 0.00 setlinewidth 432.42 620.96 moveto 432.42 555.50 lineto 544.62 555.50 lineto 544.62 620.96 lineto 432.42 620.96 lineto stroke /Helvetica-Bold findfont 10.000 scalefont setfont 474.75 608.21 moveto [0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat (Sorter)show [1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat 432.42 602.26 moveto 544.62 602.26 lineto stroke 432.42 578.88 moveto 544.62 578.88 lineto stroke 432.42 714.46 moveto 432.42 658.36 lineto 544.62 658.36 lineto 544.62 714.46 lineto 432.42 714.46 lineto stroke /Helvetica-Bold findfont 10.000 scalefont setfont 460.47 701.71 moveto [0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat (SortMachine)show [1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat 432.42 695.76 moveto 544.62 695.76 lineto stroke 432.42 677.06 moveto 544.62 677.06 lineto stroke 292.16 677.06 moveto 292.16 592.91 lineto 357.62 592.91 lineto 357.62 677.06 lineto 292.16 677.06 lineto stroke /Helvetica-Bold findfont 10.000 scalefont setfont 306.70 664.31 moveto [0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat (CGBase)show [1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat 292.16 658.36 moveto 357.62 658.36 lineto stroke 292.16 625.63 moveto 357.62 625.63 lineto stroke 161.26 677.06 moveto 161.26 592.91 lineto 226.71 592.91 lineto 226.71 677.06 lineto 161.26 677.06 lineto stroke /Helvetica-Bold findfont 10.000 scalefont setfont 173.20 664.31 moveto [0.935043 0.000000 0.000000 0.935043 21.00 798.61] concat (vdmBase)show [1.069469 -0.000000 -0.000000 1.069469 -22.458858 -854.093811] concat 161.26 658.36 moveto 226.71 658.36 lineto stroke 161.26 625.63 moveto 226.71 625.63 lineto stroke 395.02 636.85 moveto 395.02 591.03 lineto stroke 395.02 591.03 moveto 432.42 591.03 lineto stroke 395.02 683.60 moveto 395.02 636.85 lineto stroke 395.02 683.60 moveto 432.42 683.60 lineto stroke 395.02 645.27 moveto 395.02 628.44 lineto 378.19 636.85 lineto 395.02 645.27 lineto stroke 357.62 636.85 moveto 378.19 636.85 lineto stroke 264.11 634.05 moveto stroke 264.11 634.05 moveto 292.16 634.05 lineto stroke 264.11 642.46 moveto 264.11 625.63 lineto 247.28 634.05 lineto 264.11 642.46 lineto stroke 226.71 634.05 moveto 247.28 634.05 lineto stroke showpage %%Page: 1 %% DRIVER_RESULT_PAGE_1 %%Trailer [ Dauer der Verarbeitung: 0.2 Sekunden (vorverarbeitet) ] |