net { node_size = (80 40); HR_OOBN_CheckConsistency = "1"; HR_Monitor_Utility_Arrange = "0"; HR_Monitor_Chance_Utility = "1"; HR_Compile_SaveToMemory = "0"; HR_Desc = ""; HR_OOBN_FitExpand = "1"; HR_Zoom_ZoomFactor = "100"; HR_Groups_GroupColors = ""; HR_Groups_GroupNames = ""; HR_Groups_UserGroupsNo = "0"; HR_Color_Interface = "21"; HR_Color_Instance = "0"; HR_Color_Utility = "36"; HR_Color_Decision = "17"; HR_Color_ContinuousChance = "48"; HR_Color_DiscreteChance = "16"; HR_Monitor_InitSD = "2"; HR_Monitor_InitStates = "5"; HR_Monitor_OpenGraph = "0"; HR_Monitor_GraphPrecision = "100"; HR_Monitor_AutoUpdGraph = "0"; HR_Compile_MaxMinimalSeparators = "100000"; HR_Compile_ApproxEpsilon = "1.0E-5"; HR_Compile_Approximate = "0"; HR_Compile_Compress = "0"; HR_Compile_TriangMethod = "0"; HR_Propagate_AutoNormal = "1"; HR_Propagate_AutoSum = "1"; HR_Propagate_Auto = "1"; HR_Font_Italic = "0"; HR_Font_Weight = "400"; HR_Font_Size = "-12"; HR_Font_Name = "Arial"; HR_Grid_GridShow = "0"; HR_Grid_GridSnap = "0"; HR_Grid_Y = "40"; HR_Grid_X = "40"; HRUNTIME_Monitor_InitStates = "5"; HRUNTIME_Monitor_OpenGraph = "0"; HRUNTIME_Monitor_GraphPrecision = "100"; HRUNTIME_Monitor_AutoUpdGraph = "0"; HRUNTIME_Compile_ApproxEpsilon = "0.00001"; HRUNTIME_Compile_Approximate = "0"; HRUNTIME_Compile_Compress = "0"; HRUNTIME_Compile_TriangMethod = "0"; HRUNTIME_Propagate_AutoNormal = "1"; HRUNTIME_Propagate_AutoSum = "1"; HRUNTIME_Propagate_Auto = "0"; HRUNTIME_Font_Italic = "0"; HRUNTIME_Font_Weight = "400"; HRUNTIME_Font_Size = "-12"; HRUNTIME_Font_Name = "Arial"; HRUNTIME_Grid_GridShow = "0"; HRUNTIME_Grid_GridSnap = "1"; HRUNTIME_Grid_Y = "10"; HRUNTIME_Grid_X = "10"; } node Penny { label = ""; position = (303 242); states = ("head" "tail"); HR_LinkMode = "[Coin:0][Twice_a_head:0]"; HR_Group = "0"; HR_Desc = ""; HR_State_1 = ""; HR_State_0 = ""; } node Dime { label = ""; position = (90 243); states = ("head" "tail"); HR_LinkMode = "[Coin:0][Twice_a_head:0]"; HR_Group = "0"; HR_Desc = ""; HR_State_1 = ""; HR_State_0 = ""; } node Twice_a_head { label = "Twice a head"; position = (196 58); states = ("yes" "no"); HR_NodeSize = "(120, 40)"; HR_LinkControlPoints = ""; HR_Group = "0"; HR_Desc = ""; HR_State_1 = ""; HR_State_0 = ""; HR_LinkMode = "[Watson:0][Holmes:0][First_flip:0][Second_flip:0]"; } potential (Penny) { data = ( 0.2 0.8 ); } potential (Dime) { data = ( 0.7 0.3 ); } potential (Twice_a_head | Penny Dime) { data = ((( 1 0 ) % Penny=head Dime=head ( 0 1 )) % Penny=head Dime=tail (( 0 1 ) % Penny=tail Dime=head ( 0 1 ))); % Penny=tail Dime=tail }