;ò òiýDc@sdkTdkTdkZdkZdkZdkZdkZdkZdkZdk Z dZ dZ dei fd„ƒYZ defd„ƒYZde ifd „ƒYZd eifd „ƒYZd efd „ƒYZdZedjo eedƒZeƒiƒndS((s*Ns›Copyright (C) 1998-2006, Alexander Schliep and Winfried Hochstaettler. Copyright (C) 1998-2001 ZPR, University of Cologne Gato version 0.99 from 09/05/2006sÀWritten by Alexander Schliep (schliep@molgen.mpg.de). Application Design: Alexander Schliep and Winfried Hochstaettler. Additional developers: Torsten Pattberg, Ramazan Buzdemir, Achim Gaedke and Wasinee Rungsarityotin.Screen Design: Heidrun Krimmel. For Information see http://gato.sf.net Gato comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. For details see 'LGPL.txt'. sAboutBoxcBs tZdZd„Zd„ZRS(s The application's about box c Cs|t|ƒ}t|ddddd|idtƒ}|idtdd d d ƒ|i d |iƒ|idt d t ƒdS( NstextsOKswidthi scommandsdefaultssidespadxispadyssfill( sFramesselfsboxsButtonsoksACTIVEswspacksRIGHTsbindsBOTTOMsX(sselfsboxsw((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys buttonboxAs  'cCs^|iddƒtdtiƒ|_t|d|iƒ|_|ii dt ƒt|dt ƒ}|i dt ƒt|dddt dtƒ}|i dt ƒ|id ƒd }t|d td d dd d|ddddddddƒ|_|ii dddtdtƒ|iidtƒ|iidtiƒ|iidtƒ|idƒdS(Nisdatasimagessidestextsfonts Helvetica 10sjustifysbgisreliefspadxispadys backgroundswrapswordswidthi<sheighti sTimes 10sexpandsfills0.0sstates Gato - About(sselfs resizables PhotoImages GatoIconssgatos catIconImagesLabelsmasterscatIconspacksTOPs crnotice1slabels crnotice2sCENTERsconfigscolors ScrolledTextsFLATsinfoTextsXsBOTTOMsdeletesENDsinserts GatoGlobalss gLGPLTexts configuresDISABLEDstitle(sselfsmasterscolorslabel((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pysbodyLs(   (s__name__s __module__s__doc__s buttonboxsbody(((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pysAboutBox>s  s SplashScreencBs5tZdZed„Zd„Zd„Zd„ZRS(st Provides a splash screen. Usage: Subclass and override 'CreateWidgets()' In constructor of main window/application call - S = SplashScreen(main=self) (if caller is Toplevel) - S = SplashScreen(main=self.master) (if caller is Frame) - S.Destroy() after you are done creating your widgets etc. cCsŽti||dtddƒ||_|iitjo|iiiƒn|iiƒ|idƒ|i ƒ|i |i ƒ|i ƒdS(Nsreliefs borderwidthii( sToplevels__init__sselfsmastersRAISEDsmainsNoneswithdrawsoverrideredirects CreateWidgetss after_idlesCenterOnScreensupdate(sselfsmaster((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys__init__rs    cCse|iƒ|iƒ}|iƒ}||iƒd}||iƒd}|i d||fƒdS(Nis+%d+%d( sselfsupdate_idletasksswinfo_screenwidthsxmaxswinfo_screenheightsymaxswinfo_reqwidthsx0swinfo_reqheightsy0sgeometry(sselfsy0sx0symaxsxmax((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pysCenterOnScreen}s    cCsštdtiƒ|_t|d|iƒ|_|iidtƒt|dt ƒ|_|iidtƒt|dddt dt ƒ}|idtƒdS(Nsdatasimagessidestextsfonts Helvetica 10sjustify( s PhotoImages GatoIconssgatosselfs catIconImagesLabelslabelspacksTOPs crnotice1s crnotice2sCENTER(sselfslabel((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys CreateWidgets…scCs(|iiƒ|iiƒ|iƒdS(N(sselfsmainsupdates deiconifyswithdraw(sself((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pysDestroys  (s__name__s __module__s__doc__sNones__init__sCenterOnScreens CreateWidgetssDestroy(((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys SplashScreends   s HTMLWritercBs,tZd„Zd„Zd„Zd„ZRS(NcCs5tii||dƒ||_||_d|_dS(Ni–˜s(s formatters DumbWriters__init__sselfs textWidgetsviewersindent(sselfs textWidgetsviewer((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys__init__–s  cCs|iid|ƒdS(Nsinsert(sselfs textWidgetsinsertsdata(sselfsdata((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pyswritescCsd||_dS(Ns (slevelsselfsindent(sselfsmarginslevel((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys new_margin scCs|i|i|dƒdS(Ns (sselfswritesindentsdata(sselfsdata((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pyssend_label_data£s(s__name__s __module__s__init__swrites new_marginssend_label_data(((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys HTMLWriter”s   s MyHTMLParsercBsÝtZdZd„Zd„Zd„Zd„Zd„Zd„Zd„Z d„Z d „Z d „Z d „Z d „Zd „Zd„Zd„Zd„Zd„Zd„Zd„Zd„Zd„Zd„Zd„ZRS(sc Basic parser with image support added. output is supposed to be the textwidget for output cCs)tii||ƒ||_h|_dS(N(shtmllibs HTMLParsers__init__sselfs formattersoutputs tag_start(sselfs formattersoutput((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys__init__´s cCs0tiƒ}|iidd||ddƒdS(Nsinsertsimagesalignsbaseline(sGatoUtils ImageCaches imageCachesselfsoutputs image_createssource(sselfssourcesaltsismapsalignswidthsheights imageCache((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys handle_image¹s c CsVt|iddddd|ddƒ}|iitd|ƒ|iitd ƒdS( Nswidthi(sheightis backgroundiiswindows (sFramesselfsoutputsattrsscolordefs window_createsINSERTsinsert(sselfsattrsscolordef((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys do_colordef½s)cCs0|iitdƒ|iitƒ|id(sToplevels__init__sselfsmasterstitles titleprefixsconfigscolorsFramesSUNKENs borderFrames ScrolledTextsFLATstextspacksBOTHsDISABLEDsTOPsboxsButtons doWithdrawsACTIVEswsRIGHTsbindsBOTTOMssetStylesinsertshtmlcode(sselfshtmlcodestitlesmastersboxscolorsws borderFrame((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys__init__s,      ' cCsd}|iidd|ƒ|iiddd|dƒ|iiddd|dƒ|iid dd|d ƒ|iid dd|d ƒ|iid dd|dƒ|iiddd|ƒ|iiddd|ƒ|iiddd|ƒ|iiddd|ƒdS(NisfontsTimes %dsh1s Times %d boldish2ish3ish4ish5isbsemsTimes %d italicspres Courier %dstt(sbaseSizesselfstextsconfigs tag_config(sselfsbaseSize((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pyssetStyle/scCs|iƒdS(N(sselfswithdraw(sselfsevent((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys doWithdraw?scCs||_|i|ƒdS(N(stitlesselfs titleprefixsinsertshtmlcode(sselfshtmlcodestitle((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pysUpdateCs cCsÃt|id<|iidtƒt|i|ƒ}ti|ƒ}t ||iƒ}t |_ |i|ƒ|iƒt|id<|itjo|i|id|iƒn|i|iƒdS(Nsstates0.0s - (sNORMALsselfstextsdeletesENDs HTMLWriterswriters formattersAbstractFormattersformats MyHTMLParsersparsersFalsesnofillsfeedshtmlcodesclosesDISABLEDstitlesNones titleprefix(sselfshtmlcodesparserswritersformat((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pysinsertGs     ( s__name__s __module__s__doc__sNones__init__ssetStyles doWithdrawsUpdatesinsert(((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys HTMLViewers     sÊ Breadth-First-Search

Description 1

Description 2

Description 3

Description 4

Description 5

This algorithm traverses a graph in breadth-first order.

Visu We provide archive files which contain the CATBox algorithms and graphs and one binary executable each for Gato and Gred. Since we cannot rely on Python being available on Linux and Windows XP the executables are rather large, since they contain their own Python interpreter. However, the installation is pretty much just one copy and a double-click. alisation

We provide archive files which contain the CATBox algorithms and graphs and one binary executable each for Gato and Gred. Since we cannot rely on Python being available on Linux and Windows XP the executables are rather large, since they contain their own Python interpreter. However, the installation is pretty much just one copy and a double-click. alisation

This color you will see

Implementation

This was done by 
asasdadasdasdaaasssssssssssssssssssssssssssssssssssssssssssssssss
Blaeh sgmllib.

The following is a summary of the interface defined by sgmllib.SGMLParser:

  1. Processed Vertices
  2. Visited Vertices
  3. Ignored Edges
x
does wild things
y
is even wilder
s__main__sDummy(sTkinters ScrolledTextsGatoUtils GatoGlobalss GatoIconsstkSimpleDialogssyssosshtmllibs formatters crnotice1s crnotice2sDialogsAboutBoxsToplevels SplashScreens DumbWriters HTMLWriters HTMLParsers MyHTMLParsers HTMLViewersabouts__name__swinsTksmainloop(sabouts HTMLWriters crnotice2swinsGatoUtilsAboutBoxs HTMLViewerssysshtmllibs crnotice1s GatoGlobalsstkSimpleDialogs MyHTMLParsers GatoIconss formattersoss SplashScreen((s8/mnt/gmirror/ports/math/py-gato/work/Gato/GatoDialogs.pys?#s&       &0^K[