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_377540a5_2b34_4b86_be9a_4acb7952de45 [id="id_377540a5_2b34_4b86_be9a_4acb7952de45#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_1c896d30_6959_455c_b988_7638f0795d65 [id="id_1c896d30_6959_455c_b988_7638f0795d65#Declare" pos="0.0,9999.0625!" 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_9b0bf077_f198_44e9_a8b4_be6cea158829 [id="id_9b0bf077_f198_44e9_a8b4_be6cea158829#Declare" pos="0.0,9998.125!" height=0.4 width=1.63 fixedsize=true group="fun-main"    label="inCasa = true" tooltip="inCasa: Boolean = true" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6d9b268c_cdc7_44b2_ab81_6c8dd5136be7 [id="id_6d9b268c_cdc7_44b2_ab81_6c8dd5136be7#Declare" pos="0.0,9997.1875!" 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_675c8e23_16d9_45ee_914b_3101a8b31511 [id="id_675c8e23_16d9_45ee_914b_3101a8b31511#Declare" pos="0.0,9996.25!" height=0.4 width=1.41 fixedsize=true group="fun-main"    label="eco = false" tooltip="eco: Boolean = false" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8f1fb2f6_aca3_47ee_8c6a_e80a2c60a165 [id="id_8f1fb2f6_aca3_47ee_8c6a_e80a2c60a165#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="inCasa" tooltip="inCasa" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5b6630d0_8978_42c1_b0c5_9da8d736be12 [id="id_5b6630d0_8978_42c1_b0c5_9da8d736be12#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="t" tooltip="t" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_85f35ca3_e6fa_4639_84f3_c320caa65309 [id="id_85f35ca3_e6fa_4639_84f3_c320caa65309#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_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 [id="id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24#If" pos="0.0,9992.5!" height=0.5 width=3.8 fixedsize=true group="fun-main" 
    label="t<19 && inCasa==true && eco==f" tooltip="t<19 && inCasa==true && eco==f" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 [pos="3.75,9992.5!" shape=point width=0]
  false_dummy_up_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 [pos="-3.75,9992.5!" shape=point width=0]
  
  id_45e7ca19_bcd1_4a4f_9dd5_77bc3e0fdcb9 [id="id_45e7ca19_bcd1_4a4f_9dd5_77bc3e0fdcb9#Output" pos="3.75,9991.5625!" height=0.4 width=2.95 fixedsize=true group="id_53edc097_667d_4386_b6d2_ccb9bca201c9"    label="\"Riscaldamento accesso\"" tooltip="\"Riscaldamento accesso\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_214db21c_8806_49fa_ae8a_bd2b6149063c [id="id_214db21c_8806_49fa_ae8a_bd2b6149063c#Output" pos="-3.75,9991.5625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_92faa573_78e4_4b67_a36b_d8bf45d99c7c"    label="\"Riscaldamento spento\"" tooltip="\"Riscaldamento spento\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 [ pos="3.75,9990.625!" shape=point width=0]
  false_dummy_down_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 [ pos="-3.75,9990.625!" shape=point width=0]
  
  end_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 [id="end_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24#IfEnd" class="flowrun-not-selectable" pos="0.0,9990.625!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_ae924beb_06d1_455f_b5dc_fd8f5a57b339 [id="id_ae924beb_06d1_455f_b5dc_fd8f5a57b339#Return" pos="0.0,9989.6875!" 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_377540a5_2b34_4b86_be9a_4acb7952de45:s -> id_1c896d30_6959_455c_b988_7638f0795d65:n [id="id_377540a5_2b34_4b86_be9a_4acb7952de45@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1c896d30_6959_455c_b988_7638f0795d65:s -> id_9b0bf077_f198_44e9_a8b4_be6cea158829:n [id="id_1c896d30_6959_455c_b988_7638f0795d65@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9b0bf077_f198_44e9_a8b4_be6cea158829:s -> id_6d9b268c_cdc7_44b2_ab81_6c8dd5136be7:n [id="id_9b0bf077_f198_44e9_a8b4_be6cea158829@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6d9b268c_cdc7_44b2_ab81_6c8dd5136be7:s -> id_675c8e23_16d9_45ee_914b_3101a8b31511:n [id="id_6d9b268c_cdc7_44b2_ab81_6c8dd5136be7@fun-main" tailtooltip=" " edgetooltip=" "]
  id_675c8e23_16d9_45ee_914b_3101a8b31511:s -> id_8f1fb2f6_aca3_47ee_8c6a_e80a2c60a165:n [id="id_675c8e23_16d9_45ee_914b_3101a8b31511@fun-main" tailtooltip=" " edgetooltip=" "]
  id_8f1fb2f6_aca3_47ee_8c6a_e80a2c60a165:s -> id_5b6630d0_8978_42c1_b0c5_9da8d736be12:n [id="id_8f1fb2f6_aca3_47ee_8c6a_e80a2c60a165@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5b6630d0_8978_42c1_b0c5_9da8d736be12:s -> id_85f35ca3_e6fa_4639_84f3_c320caa65309:n [id="id_5b6630d0_8978_42c1_b0c5_9da8d736be12@fun-main" tailtooltip=" " edgetooltip=" "]
  id_85f35ca3_e6fa_4639_84f3_c320caa65309:s -> id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24:n [id="id_85f35ca3_e6fa_4639_84f3_c320caa65309@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24:e -> true_dummy_up_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 [id="id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24@id_53edc097_667d_4386_b6d2_ccb9bca201c9" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 -> id_45e7ca19_bcd1_4a4f_9dd5_77bc3e0fdcb9:n [id="id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24@id_53edc097_667d_4386_b6d2_ccb9bca201c9" tailtooltip=" " edgetooltip=" "]
  
  id_45e7ca19_bcd1_4a4f_9dd5_77bc3e0fdcb9:s -> true_dummy_down_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24:n [id="id_45e7ca19_bcd1_4a4f_9dd5_77bc3e0fdcb9@id_53edc097_667d_4386_b6d2_ccb9bca201c9" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 -> end_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 [id="id_45e7ca19_bcd1_4a4f_9dd5_77bc3e0fdcb9@id_53edc097_667d_4386_b6d2_ccb9bca201c9" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24:w -> false_dummy_up_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 [id="id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24@id_92faa573_78e4_4b67_a36b_d8bf45d99c7c" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 -> id_214db21c_8806_49fa_ae8a_bd2b6149063c:n [id="id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24@id_92faa573_78e4_4b67_a36b_d8bf45d99c7c" tailtooltip=" " edgetooltip=" "]
  
  id_214db21c_8806_49fa_ae8a_bd2b6149063c:s -> false_dummy_down_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24:n [id="id_214db21c_8806_49fa_ae8a_bd2b6149063c@id_92faa573_78e4_4b67_a36b_d8bf45d99c7c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 -> end_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24 [id="id_214db21c_8806_49fa_ae8a_bd2b6149063c@id_92faa573_78e4_4b67_a36b_d8bf45d99c7c" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24:s -> id_ae924beb_06d1_455f_b5dc_fd8f5a57b339:n [id="end_id_3f28c3f8_6ee2_46a6_9f89_0f24ad832f24@fun-main" tailtooltip=" " edgetooltip=" "]
  

}