Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-06-07

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
17:40 zak joined #divine
17:41 Guest11932 Ahoj, mam otazku... Muzete mi prosim pomoci? Lze si nejak vypsat identifikace Vertexu (nodu)
17:41 Guest11932 Ve chvili kdy visitor expandne nebo vola transition
17:44 mornfall graf má nějaký showNode který z toho vyrobí řetězec
17:56 xzak4 díky
17:58 xzak4 muzu se ptat dal?
17:59 mornfall jist
17:59 mornfall ě
17:59 xzak4 kdy se vola finished?
17:59 mornfall v postorder-u (ale volá to jen DFS visitor)
18:01 xzak4 static visitor::ExpansionAction expansion( This &dfs, Vertex st ) {
18:01 xzak4 dfs.progress() << "Exp " << dfs.graph().showNode(st.node) << std::endl;
18:01 xzak4 asi delam neco spatne - nej zkompilovat
18:02 xzak4 a sry
18:02 mornfall není st.node fce?
18:02 xzak4 uz vuiim
18:02 xzak4 jj je
18:02 xzak4 ty error hlasky nejdou zrovna dobre cist :-D
18:03 mornfall pořiď si lepší překladač :P
18:03 xzak4 ten transition se vola jen v jednom smeru kdyz prochazi tim grafem - nebo i kdyz jde pak zpet
18:03 mornfall (ale ono to stejně extra nepomůže)
18:03 mornfall kam zpět?
18:03 mornfall backtracking není procházení
18:03 xzak4 v pripade DFV visitoru
18:04 xzak4 ok neni
18:04 mornfall transition se volá když jdeš po šipce
18:04 xzak4 jasny
18:04 mornfall ono by to moc nedávalo smysl (teda spíš vůbec)
18:04 xzak4 funkce full na vertexu dela co?
18:05 mornfall počítám že nic zajímavého :)
18:05 mornfall ona taková asi zejména neexistuje?
18:05 xzak4 dosel jsem k tomu ze to vetsinou proste vrati true
18:05 xzak4 ok, ten DFV uz sam traversuje ten graf jako DFS?
18:06 mornfall jo, to je jeho účel
18:06 xzak4 ok, u transition muze se from = to ? asi ano ze
18:06 mornfall pokud je tam selfloop
18:06 mornfall teda from = to ne, ale to že to bude stejnej stav ano
18:06 xzak4 jasne
18:07 mornfall vlastně jo
18:07 mornfall transition se už asi volá s deduplikovaným to
18:07 xzak4 ok chapu myslel jsem to ted spis abstraktne
18:07 mornfall ad ten full() myslíš ten v grafu?
18:07 mornfall ten vrací true pokud daný vrchol byl plně expandovaný při Partial Order Redukci
18:07 mornfall to asi můžeš zatím ignorovat
18:08 xzak4 to shownode bude asi fungovat jen kdyz je expandovany ze?
18:08 mornfall ne, expandovaný v tomhle kontextu mluví o počtu následníků
18:09 mornfall s reprezentací toho vrcholu jako takového to nic nemá
18:12 xzak4 ok
18:13 xzak4 co kdybych si chtel psat vlastniho visitora? budu potrebovat nahodny vyber dalsiho smerovani
19:59 mornfall to byla otázka? :)
22:06 xzak4 trochu jo, potrebuju aby se pri prozkoumavani volili nahodne vetve...
22:09 xzak4 mam jeste jednu otazku, nechapu k cemu slouz queue v "toexpanda" v nested DFS... díky
22:11 mornfall taky POR
22:23 mornfall (kdyby se tady zase objevil a já tu nebyl, tak ho odkažte na logy) pokud jde o náhodnost to jde řešit adaptérem na graf, spíš než visitorem

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary