Kesoleval plaadil on Pille Pulloneni bakalaureuset.
Tartu 2011

SISU:
Kaust CycleRemoving - lhtekood keeles Ocaml, koodi ehitamiseks vajalikud failid
  Bakalaureuset raames loodi failid GrbTrRemoveMuxStrictCycles.ml ja GrbTrMoveOverOr.ml
	alamkaust documentation - loodud failide dokumentatsioon, oluline fail index.html
  alamkaust graafid - nitegraaf, mis on saadud graafist SLIDEX
                      logifail demonstreerib, et esimeste tsklite eemaldamine on edukas
                        Eriolukord muudab oluliselt graafi
                        Lpuks jdakse analsi peatklis kirjeldatud korduvat tsklit eemaldama 
Kaust Joonised - ts esitatud joonised ja puuduvad joonised puu muutumisest transformatsioonides
Kirjutatud bakalaureuset

KOMPILEERIMISEKS TARVILIK:
Ocaml, ocamlopt kompilaator
ocamlfind
Tck/Tk, mille versioon sobib labltk teegiga
Ocamlgraph teek
Omake

Enne kompileerimist tuleb failis GrbTrRemoveMuxStrictCycles.ml funktsioonis report2 
fikseerida logifaili asukoht ning operatsioonissteemist sltuvalt failiigused

KASUTAMISEKS TARVILIK:
uDraw(Graph)

KASUTAMINE:
Kood tuleb kompileerida (lhtekoodi kataloogis ksk omake)
  Kompileerimisel ilmnevad teated "pattern-matching is not exhaustive" on harilikud
uDraw(Graph)-i kivitamisel saab talle valikutega File->Connect Application anda ette kompileerimisel saadud kivitatava faili
henduseks kasutatakse UNIX-i torusid
Mens Edit on analsaatori valikud (nite protokollid ja transformatsioonid)
Nitegraafe saab sisse lugeda File->Open valikutega

LOGIFAILI LUGEMINE:
Tsklieemalduse logifail koosneb alamosadest, mis vastavad hele sooritatud sammule. Iga osa algust thistab mrge n = .. kus vastav arv loendab alla suunas tehtud samme. (suurima arvuga on esimene, n=0 korral lpetatakse t) Et teisendus ldjuhul ei krvalda kiki tskleid, on sammude arv piiratud.
Sellele jrgneb teadaolevate tagasiulatuvate servade arv (htib teadaolevate tsklite arvuga).
Jrneval real on mrge "valitud", kui td jtkatakse endise tskliga ning "uus tsykkel", kui eelmine transformatsioon oli eelneva tskli viimane samm ning nd valiti ttlemiseks uus tskkel.
Jrmisel real on tsklisse kuuluvate tippude info kujul "tipp1 <- tipp2 ... <- tippN". Nooled vastavad tsklis puuservade suunale, tippN on tskli krgeim tipp. Tagasiulatuv serv lheb tipust1 tippuN.
Edasi on real mrge stiilis "MUX back" vi "Fuse normal", teine pool thendab, le millise serva teisendus toimus. Normal vastab puuservale ja back tagasiulatuvale servale. Esimene pool fikseerib, millist puu korrastamise funktsiooni kasutatakse. "Fuse" on tippude hendamine, "Or" on teisendus Move Over Or kui sihttipp oli bitijada tpi, kusjuures siis kutsutakse kohe ka vastav teisendus "Id" algusega, mis vastab Pass over an Id node teisendusele. "MUX" vastab eelkige Move Over MUX teisendusele, aga ka "Or" teisenduste versioonidele, kus sihttipp on tevrtustpi.
Kui kustutatakse mni serv graafist, antakse ka sellest teada.
Kui Id teisenduse korral tekib viga, raporteeritakse sellest ning kui saab rakendada erijuhtu, fikseeritakse ka see. Vastasel juhul liigutatakse tsklisse kuuluvat MUX tippu.