package Ġit . uni bo . tup ro log . solve . pro blog . prob abil istic Ċ Ċ import Ġit . uni bo . tup ro log . core . parsing . parse As Struct Ċ import Ġit . uni bo . tup ro log . solve . pro blog . Pro blog Solver Factory Ċ import Ġit . uni bo . tup ro log . theory . parsing . parse As Theory Ċ import Ġkotlin . test . Test Ċ Ċ class ĠTest Prob abil istic Graph Examples Ġ{ ĊĊĠĠĠ Ġ/** * ĊĠĠĠĠ Ġ* Ġhttps :// d ta i . cs . k ule u ven . be / pro blog / tutorial / basic / 0 4 _ p graph . html ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġtest Prob abil istic Graph () Ġ{ ĊĠĠĠĠĠĠĠ ĠTestUtils . assert Query With Solutions ( ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ""" ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ 0 . 6 :: edge ( 1 , 2 ). ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ 0 . 1 :: edge ( 1 , 3 ). ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ 0 . 4 :: edge ( 2 , 5 ). ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ 0 . 3 :: edge ( 2 , 6 ). ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ 0 . 3 :: edge ( 3 , 4 ). ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ 0 . 8 :: edge ( 4 , 5 ). ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ 0 . 2 :: edge ( 5 , 6 ). ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġpath ( X , Y ) Ġ:- Ġedge ( X , Y ). ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġpath ( X , Y ) Ġ:- Ġedge ( X , Z ), ĠY Ġ\ == ĠZ , Ġpath ( Z , Y ). ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġquery ( path ( 1 , 5 )). ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġquery ( path ( 1 , 6 )). ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ""" . parse As Theory ( Pro blog Solver Factory . default Built ins . operators ), ĊĠĠĠĠĠĠĠĠĠĠĠ ĠlistOf ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠQuery With Solutions ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ" path ( 1 , 5 ) ". parse As Struct (), ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠlistOf ( Expected Solution (" path ( 1 , 5 ) ". parse As Struct (), Ġ 0 . 2 5 8 2 4 )) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ), ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠQuery With Solutions ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ" path ( 1 , 6 ) ". parse As Struct (), ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠlistOf ( Expected Solution (" path ( 1 , 6 ) ". parse As Struct (), Ġ 0 . 2 1 6 7 2 9 6 )) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ) ĊĠĠĠĠĠĠĠ Ġ) ĊĠĠĠ Ġ} Ċ } Ċ