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 Second_flip { label = "Second flip"; position = (306 59); states = ("head" "tail"); HR_Group = "0"; HR_Desc = ""; HR_State_1 = ""; HR_State_0 = ""; } node First_flip { label = "First flip"; position = (81 62); states = ("head" "tail"); HR_Group = "0"; HR_Desc = ""; HR_State_1 = ""; HR_State_0 = ""; } node Coin { label = ""; position = (200 231); states = ("penny" "dime"); HR_Group = "0"; HR_Desc = ""; HR_State_1 = ""; HR_State_0 = ""; HR_LinkMode = "[Watson:0][Holmes:0][First_flip:0][Second_flip:0]"; } potential (Second_flip | Coin) { data = (( 0.2 0.8 ) % Coin=penny ( 0.7 0.3 )); % Coin=dime } potential (First_flip | Coin) { data = (( 0.2 0.8 ) % Coin=penny ( 0.7 0.3 )); % Coin=dime } potential (Coin) { data = ( 0.5 0.5 ); }