class box_testimony { inputs = (); outputs = (); node_size = (80 40); HR_Desc = ""; HR_OOBN_CheckConsistency = "1"; 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_Utility_Arrange = "0"; HR_Monitor_Chance_Utility = "1"; 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_SaveToMemory = "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 = "javax.swing.plaf.FontUIResource[family=DejaVu Sans,name=DejaVu Sans,style=plain,size=13]"; HR_Grid_GridShow = "0"; HR_Grid_GridSnap = "0"; HR_Grid_Y = "40"; HR_Grid_X = "40"; node Ball_T_4 { label = "E5_T"; position = (559 251); states = ("W" "B"); HR_State_0 = ""; HR_State_1 = ""; HR_Desc = ""; HR_Group = "0"; } node Ball_4 { label = "E5"; position = (559 150); states = ("W" "B"); HR_State_0 = ""; HR_State_1 = ""; HR_Desc = ""; HR_LinkMode = "[C1:0][Ball_T_4:0]"; HR_Group = "0"; } node Ball_T_3 { label = "E4_T"; position = (443 251); states = ("W" "B"); HR_State_0 = ""; HR_State_1 = ""; HR_Desc = ""; HR_Group = "0"; } node Ball_3 { label = "E4"; position = (442 150); states = ("W" "B"); HR_State_0 = ""; HR_State_1 = ""; HR_Desc = ""; HR_LinkMode = "[C1:0][Ball_T_3:0]"; HR_Group = "0"; } node Ball_T_2 { label = "E3_T"; position = (328 251); states = ("W" "B"); HR_State_0 = ""; HR_State_1 = ""; HR_Desc = ""; HR_Group = "0"; } node Ball_2 { label = "E3"; position = (328 150); states = ("W" "B"); HR_State_0 = ""; HR_State_1 = ""; HR_Desc = ""; HR_LinkMode = "[C1:0][Ball_T_2:0]"; HR_Group = "0"; } node Ball_T_1 { label = "E2_T"; position = (216 251); states = ("W" "B"); HR_State_0 = ""; HR_State_1 = ""; HR_Desc = ""; HR_Group = "0"; } node Ball_1 { label = "E2"; position = (216 150); states = ("W" "B"); HR_State_0 = ""; HR_State_1 = ""; HR_Desc = ""; HR_LinkMode = "[C1:0][Ball_T_1:0]"; HR_Group = "0"; } node Ball_T { label = "E1_T"; position = (103 251); states = ("W" "B"); HR_Group = "0"; HR_Desc = ""; HR_State_1 = ""; HR_State_0 = ""; } node Ball { label = "E1"; position = (103 150); states = ("W" "B"); HR_Group = "0"; HR_Desc = ""; HR_State_1 = ""; HR_State_0 = ""; HR_LinkMode = "[C1:0][Ball_T:0]"; } node Box { label = ""; position = (326 40); states = ("B1" "B2"); HR_Group = "0"; HR_Desc = ""; HR_State_1 = ""; HR_State_0 = ""; HR_LinkMode = "[C2:0][Ball_1:0][Ball_2:0][Ball_3:0][Ball_4:0][Ball:0]"; } potential (Ball_T_4 | Ball_4) { data = (( 0.833333 0.166667 ) % Ball_4=W ( 0.166667 0.833333 )); % Ball_4=B } potential (Ball_4 | Box) { data = (( 1 0 ) % Box=B1 ( 0.076923 0.923077 )); % Box=B2 } potential (Ball_T_3 | Ball_3) { data = (( 0.833333 0.166667 ) % Ball_3=W ( 0.166667 0.833333 )); % Ball_3=B } potential (Ball_3 | Box) { data = (( 1 0 ) % Box=B1 ( 0.076923 0.923077 )); % Box=B2 } potential (Ball_T_2 | Ball_2) { data = (( 0.833333 0.166667 ) % Ball_2=W ( 0.166667 0.833333 )); % Ball_2=B } potential (Ball_2 | Box) { data = (( 1 0 ) % Box=B1 ( 0.076923 0.923077 )); % Box=B2 } potential (Ball_T_1 | Ball_1) { data = (( 0.833333 0.166667 ) % Ball_1=W ( 0.166667 0.833333 )); % Ball_1=B } potential (Ball_1 | Box) { data = (( 1 0 ) % Box=B1 ( 0.076923 0.923077 )); % Box=B2 } potential (Ball_T | Ball) { data = (( 0.833333 0.166667 ) % Ball=W ( 0.166667 0.833333 )); % Ball=B } potential (Ball | Box) { data = (( 1 0 ) % Box=B1 ( 0.076923 0.923077 )); % Box=B2 } potential (Box) { data = ( 1 1 ); } } % class box_testimony