net { propagationenginegenerator1791944048146838126L = "edu.ucla.belief.approx.BeliefPropagationSettings@f8989d"; recoveryenginegenerator6944530267470113528l = "edu.ucla.util.SettingsImpl@eb90d8"; node_size = (130 55); } node Use_Ticket { states = ("black" "underground" "bus" "taxi" ); position = (288 -310); excludepolicy = "include whole CPT"; ismapvariable = "false"; ID = "variable1"; label = "Use_Ticket"; DSLxSUBMODEL = "Root Submodel"; diagnosistype = "AUXILIARY"; } node DetectivesClose { states = ("yes" "no" ); position = (57 37); excludepolicy = "include whole CPT"; ismapvariable = "false"; ID = "variable5"; label = "DetectivesClose"; DSLxSUBMODEL = "Root Submodel"; diagnosistype = "AUXILIARY"; } node DoubleMove { states = ("yes" "no" ); position = (294 -172); excludepolicy = "include whole CPT"; ismapvariable = "false"; ID = "variable6"; label = "DoubleMove"; DSLxSUBMODEL = "Root Submodel"; diagnosistype = "AUXILIARY"; } node Strategy_MoveToHub { states = ("yes" "no" ); position = (552 -246); excludepolicy = "include whole CPT"; ismapvariable = "false"; ID = "variable3"; label = "Strategy_MoveToHub"; DSLxSUBMODEL = "Root Submodel"; diagnosistype = "AUXILIARY"; } node Strategy_MoveFast { states = ("yes" "no" ); position = (548 -122); excludepolicy = "include whole CPT"; ismapvariable = "false"; ID = "variable0"; label = "Strategy_MoveFast"; DSLxSUBMODEL = "Root Submodel"; diagnosistype = "AUXILIARY"; } node PosShownLastTurn { states = ("yes" "no" ); position = (553 33); excludepolicy = "include whole CPT"; ismapvariable = "false"; ID = "variable2"; label = "PosShownLastTurn"; diagnosistype = "AUXILIARY"; } node Strat_MaxDistanceToAgents { states = ("yes" "no" ); position = (53 -173); excludepolicy = "include whole CPT"; ismapvariable = "false"; ID = "variable4"; label = "Strat_MaxDistance"; DSLxSUBMODEL = "Root Submodel"; diagnosistype = "AUXILIARY"; } node ShowPosNextTurn { states = ("yes" "no" ); position = (308 35); excludepolicy = "include whole CPT"; ismapvariable = "false"; ID = "variable2"; label = "ShowPosNextTurn"; DSLxSUBMODEL = "Root Submodel"; diagnosistype = "AUXILIARY"; } potential ( Use_Ticket | Strategy_MoveFast Strat_MaxDistanceToAgents ) { data = ((( 0.3 0.39999999999999997 0.19999999999999998 0.09999999999999999 ) ( 0.3 0.39999999999999997 0.19999999999999998 0.09999999999999999 )) (( 0.05 0.3 0.4 0.25 ) ( 0.05 0.1 0.35 0.5 ))); } potential ( DetectivesClose | ) { data = ( 0.5 0.5 ); } potential ( DoubleMove | DetectivesClose ShowPosNextTurn PosShownLastTurn ) { data = (((( 0.8 0.2 ) ( 0.3 0.7 )) (( 0.8 0.2 ) ( 0.05 0.95 ))) ((( 0.3 0.7 ) ( 0.0 1.0 )) (( 0.0 1.0 ) ( 0.0 1.0 )))); } potential ( Strategy_MoveToHub | ShowPosNextTurn Strategy_MoveFast ) { data = ((( 1.0 0.0 ) ( 1.0 0.0 )) (( 0.8 0.2 ) ( 0.1 0.9 ))); } potential ( Strategy_MoveFast | PosShownLastTurn ) { data = (( 1.0 0.0 ) ( 0.2 0.8 )); } potential ( PosShownLastTurn | ) { data = ( 0.5 0.5 ); } potential ( Strat_MaxDistanceToAgents | ShowPosNextTurn DetectivesClose ) { data = ((( 1.0 0.0 ) ( 0.7 0.3 )) (( 0.8 0.2 ) ( 0.2 0.8 ))); } potential ( ShowPosNextTurn | ) { data = ( 0.5 0.5 ); }