
digraph {
  bgcolor="transparent"

  node [penwidth=0.5 fontsize="12" shape="box" style="filled" fontcolor="white" fontname="Courier New"]
  edge [penwidth=2 fontsize="10" color="#0A1931" arrowsize=0.8 fontname="Courier New"]

#########
# NODES #
#########
  id_1fc3855e_cbfe_45d8_81f4_86b6b89a6965 [id="id_1fc3855e_cbfe_45d8_81f4_86b6b89a6965#Begin" pos="0.0,10000.0!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Begin" tooltip="Begin" shape="ellipse" fillcolor="#8de4ff" color="#00799e" fontcolor="#982b13"] 
  id_714321fc_0c8e_4192_be29_ca6adace6a47 [id="id_714321fc_0c8e_4192_be29_ca6adace6a47#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="T = 0" tooltip="T: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9c67d353_784d_4aef_abb8_77702ed60088 [id="id_9c67d353_784d_4aef_abb8_77702ed60088#Declare" pos="0.0,9998.125!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="inCasa = 0" tooltip="inCasa: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_233f4562_6b98_4d0d_855d_fe2ebd0ba3e9 [id="id_233f4562_6b98_4d0d_855d_fe2ebd0ba3e9#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Eco = 0" tooltip="Eco: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_20b025cd_e43e_4fd0_bc3b_ddf014decb4e [id="id_20b025cd_e43e_4fd0_bc3b_ddf014decb4e#Declare" pos="0.0,9996.25!" height=0.4 width=2.0700000000000003 fixedsize=true group="fun-main"    label="riscaldamento = 0" tooltip="riscaldamento: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f0bc6bd2_0c74_40ce_8d16_c32cba098794 [id="id_f0bc6bd2_0c74_40ce_8d16_c32cba098794#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="T" tooltip="T" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e2123c5b_52cb_492a_985d_35f61a9cc84b [id="id_e2123c5b_52cb_492a_985d_35f61a9cc84b#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="inCasa" tooltip="inCasa" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b6530125_8fad_442f_81fe_5ff7eb750133 [id="id_b6530125_8fad_442f_81fe_5ff7eb750133#Input" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Eco" tooltip="Eco" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0e8376d1_f5a4_467d_92e4_60bff9b0dd1a [id="id_0e8376d1_f5a4_467d_92e4_60bff9b0dd1a#Input" pos="0.0,9992.5!" height=0.4 width=1.63 fixedsize=true group="fun-main"    label="riscaldamento" tooltip="riscaldamento" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 [id="id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0#If" pos="0.0,9991.5625!" height=0.5 width=5.89 fixedsize=true group="fun-main" 
    label="(T < 19) &&   (inCasa == true) &&  (Eco == false)" tooltip="(T < 19) &&   (inCasa == true) &&  (Eco == false)" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 [pos="5.0,9991.5625!" shape=point width=0]
  false_dummy_up_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 [pos="-5.0,9991.5625!" shape=point width=0]
  
  id_297016c1_6a6e_444e_aaef_d22a3906b884 [id="id_297016c1_6a6e_444e_aaef_d22a3906b884#Output" pos="5.0,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_52b37455_5e74_4cd3_acbc_3f7b4dfac0a2"    label="\"Riscaldamento Acceso\"" tooltip="\"Riscaldamento Acceso\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3b16e56e_7d0b_4248_aa9c_0a365be12c30 [id="id_3b16e56e_7d0b_4248_aa9c_0a365be12c30#Output" pos="-5.0,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_4eef377e_2a90_4bad_88d7_2a5533310a84"    label="\"Riscaldamento Spento\"" tooltip="\"Riscaldamento Spento\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 [ pos="5.0,9989.6875!" shape=point width=0]
  false_dummy_down_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 [ pos="-5.0,9989.6875!" shape=point width=0]
  
  end_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 [id="end_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0#IfEnd" class="flowrun-not-selectable" pos="0.0,9989.6875!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_96ed80de_e6a0_4e26_a459_10c7776a7842 [id="id_96ed80de_e6a0_4e26_a459_10c7776a7842#Return" pos="0.0,9988.75!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="End" tooltip="End" shape="ellipse" fillcolor="#8de4ff" color="#00799e" fontcolor="#982b13"] 

#########
# EDGES #
#########
  id_1fc3855e_cbfe_45d8_81f4_86b6b89a6965:s -> id_714321fc_0c8e_4192_be29_ca6adace6a47:n [id="id_1fc3855e_cbfe_45d8_81f4_86b6b89a6965@fun-main" tailtooltip=" " edgetooltip=" "]
  id_714321fc_0c8e_4192_be29_ca6adace6a47:s -> id_9c67d353_784d_4aef_abb8_77702ed60088:n [id="id_714321fc_0c8e_4192_be29_ca6adace6a47@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9c67d353_784d_4aef_abb8_77702ed60088:s -> id_233f4562_6b98_4d0d_855d_fe2ebd0ba3e9:n [id="id_9c67d353_784d_4aef_abb8_77702ed60088@fun-main" tailtooltip=" " edgetooltip=" "]
  id_233f4562_6b98_4d0d_855d_fe2ebd0ba3e9:s -> id_20b025cd_e43e_4fd0_bc3b_ddf014decb4e:n [id="id_233f4562_6b98_4d0d_855d_fe2ebd0ba3e9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_20b025cd_e43e_4fd0_bc3b_ddf014decb4e:s -> id_f0bc6bd2_0c74_40ce_8d16_c32cba098794:n [id="id_20b025cd_e43e_4fd0_bc3b_ddf014decb4e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f0bc6bd2_0c74_40ce_8d16_c32cba098794:s -> id_e2123c5b_52cb_492a_985d_35f61a9cc84b:n [id="id_f0bc6bd2_0c74_40ce_8d16_c32cba098794@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e2123c5b_52cb_492a_985d_35f61a9cc84b:s -> id_b6530125_8fad_442f_81fe_5ff7eb750133:n [id="id_e2123c5b_52cb_492a_985d_35f61a9cc84b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b6530125_8fad_442f_81fe_5ff7eb750133:s -> id_0e8376d1_f5a4_467d_92e4_60bff9b0dd1a:n [id="id_b6530125_8fad_442f_81fe_5ff7eb750133@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0e8376d1_f5a4_467d_92e4_60bff9b0dd1a:s -> id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0:n [id="id_0e8376d1_f5a4_467d_92e4_60bff9b0dd1a@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0:e -> true_dummy_up_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 [id="id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0@id_52b37455_5e74_4cd3_acbc_3f7b4dfac0a2" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 -> id_297016c1_6a6e_444e_aaef_d22a3906b884:n [id="id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0@id_52b37455_5e74_4cd3_acbc_3f7b4dfac0a2" tailtooltip=" " edgetooltip=" "]
  
  id_297016c1_6a6e_444e_aaef_d22a3906b884:s -> true_dummy_down_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0:n [id="id_297016c1_6a6e_444e_aaef_d22a3906b884@id_52b37455_5e74_4cd3_acbc_3f7b4dfac0a2" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 -> end_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 [id="id_297016c1_6a6e_444e_aaef_d22a3906b884@id_52b37455_5e74_4cd3_acbc_3f7b4dfac0a2" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0:w -> false_dummy_up_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 [id="id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0@id_4eef377e_2a90_4bad_88d7_2a5533310a84" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 -> id_3b16e56e_7d0b_4248_aa9c_0a365be12c30:n [id="id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0@id_4eef377e_2a90_4bad_88d7_2a5533310a84" tailtooltip=" " edgetooltip=" "]
  
  id_3b16e56e_7d0b_4248_aa9c_0a365be12c30:s -> false_dummy_down_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0:n [id="id_3b16e56e_7d0b_4248_aa9c_0a365be12c30@id_4eef377e_2a90_4bad_88d7_2a5533310a84" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 -> end_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0 [id="id_3b16e56e_7d0b_4248_aa9c_0a365be12c30@id_4eef377e_2a90_4bad_88d7_2a5533310a84" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0:s -> id_96ed80de_e6a0_4e26_a459_10c7776a7842:n [id="end_id_b9c9fadc_70fa_4555_ba45_bcd36a7078e0@fun-main" tailtooltip=" " edgetooltip=" "]
  

}
