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_d5c01963_6b95_4250_b299_fcf3d8250a6e [id="id_d5c01963_6b95_4250_b299_fcf3d8250a6e#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_3d4e7511_1354_4371_8ece_9d382fa973a9 [id="id_3d4e7511_1354_4371_8ece_9d382fa973a9#Declare" pos="0.0,9999.0625!" height=0.4 width=2.5100000000000002 fixedsize=true group="fun-main"    label="riscaldamento = false" tooltip="riscaldamento: Boolean = false" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4fcba8ae_70c9_48a9_83cf_ca5913f86f6b [id="id_4fcba8ae_70c9_48a9_83cf_ca5913f86f6b#Declare" pos="0.0,9998.125!" height=0.4 width=1.74 fixedsize=true group="fun-main"    label="InCasa = false" tooltip="InCasa: Boolean = false" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1dabd651_fff8_4c33_a541_b24803bf131f [id="id_1dabd651_fff8_4c33_a541_b24803bf131f#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_6aa440cf_b82f_49a3_ac95_16b9397305c2 [id="id_6aa440cf_b82f_49a3_ac95_16b9397305c2#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_742526d9_9730_4776_adad_777e35d2e6dc [id="id_742526d9_9730_4776_adad_777e35d2e6dc#Input" pos="0.0,9995.3125!" height=0.4 width=1.63 fixedsize=true group="fun-main"    label="riscaldamento" tooltip="riscaldamento" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_afa7c860_9d43_4b74_8398_a7a4d724e4b6 [id="id_afa7c860_9d43_4b74_8398_a7a4d724e4b6#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_73a6e602_d799_4637_839e_f8a50a513ff4 [id="id_73a6e602_d799_4637_839e_f8a50a513ff4#Input" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="T" tooltip="T" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_453acbf0_797a_4a41_b9a4_2d13db30efd3 [id="id_453acbf0_797a_4a41_b9a4_2d13db30efd3#Input" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Eco" tooltip="Eco" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f769679c_9625_4b1c_adb3_186096ce14a1 [id="id_f769679c_9625_4b1c_adb3_186096ce14a1#If" pos="0.0,9991.5625!" height=0.5 width=4.02 fixedsize=true group="fun-main" 
    label="T<19&&nCasa==true&&!(Eco==false)" tooltip="T<19&&nCasa==true&&!(Eco==false)" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_f769679c_9625_4b1c_adb3_186096ce14a1 [pos="3.75,9991.5625!" shape=point width=0]
  false_dummy_up_id_f769679c_9625_4b1c_adb3_186096ce14a1 [pos="-3.75,9991.5625!" shape=point width=0]
  
  id_85fcccf8_a04e_4ad8_8543_9c6ae72f9c8d [id="id_85fcccf8_a04e_4ad8_8543_9c6ae72f9c8d#Output" pos="3.75,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_bdba2556_3ea2_4b3b_9258_02c951fe479d"    label="\"Riscaldamento acceso\"" tooltip="\"Riscaldamento acceso\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6f2510c7_7b39_474e_9be5_8ae90fb4b016 [id="id_6f2510c7_7b39_474e_9be5_8ae90fb4b016#Output" pos="-3.75,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_e0eba007_f0e1_4c17_a2ea_3f88c339e51e"    label="\"Riscaldamento spento\"" tooltip="\"Riscaldamento spento\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_f769679c_9625_4b1c_adb3_186096ce14a1 [ pos="3.75,9989.6875!" shape=point width=0]
  false_dummy_down_id_f769679c_9625_4b1c_adb3_186096ce14a1 [ pos="-3.75,9989.6875!" shape=point width=0]
  
  end_id_f769679c_9625_4b1c_adb3_186096ce14a1 [id="end_id_f769679c_9625_4b1c_adb3_186096ce14a1#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_e74cab6f_8ef7_4f3a_8b02_6443dc314eb9 [id="id_e74cab6f_8ef7_4f3a_8b02_6443dc314eb9#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_d5c01963_6b95_4250_b299_fcf3d8250a6e:s -> id_3d4e7511_1354_4371_8ece_9d382fa973a9:n [id="id_d5c01963_6b95_4250_b299_fcf3d8250a6e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3d4e7511_1354_4371_8ece_9d382fa973a9:s -> id_4fcba8ae_70c9_48a9_83cf_ca5913f86f6b:n [id="id_3d4e7511_1354_4371_8ece_9d382fa973a9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4fcba8ae_70c9_48a9_83cf_ca5913f86f6b:s -> id_1dabd651_fff8_4c33_a541_b24803bf131f:n [id="id_4fcba8ae_70c9_48a9_83cf_ca5913f86f6b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1dabd651_fff8_4c33_a541_b24803bf131f:s -> id_6aa440cf_b82f_49a3_ac95_16b9397305c2:n [id="id_1dabd651_fff8_4c33_a541_b24803bf131f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6aa440cf_b82f_49a3_ac95_16b9397305c2:s -> id_742526d9_9730_4776_adad_777e35d2e6dc:n [id="id_6aa440cf_b82f_49a3_ac95_16b9397305c2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_742526d9_9730_4776_adad_777e35d2e6dc:s -> id_afa7c860_9d43_4b74_8398_a7a4d724e4b6:n [id="id_742526d9_9730_4776_adad_777e35d2e6dc@fun-main" tailtooltip=" " edgetooltip=" "]
  id_afa7c860_9d43_4b74_8398_a7a4d724e4b6:s -> id_73a6e602_d799_4637_839e_f8a50a513ff4:n [id="id_afa7c860_9d43_4b74_8398_a7a4d724e4b6@fun-main" tailtooltip=" " edgetooltip=" "]
  id_73a6e602_d799_4637_839e_f8a50a513ff4:s -> id_453acbf0_797a_4a41_b9a4_2d13db30efd3:n [id="id_73a6e602_d799_4637_839e_f8a50a513ff4@fun-main" tailtooltip=" " edgetooltip=" "]
  id_453acbf0_797a_4a41_b9a4_2d13db30efd3:s -> id_f769679c_9625_4b1c_adb3_186096ce14a1:n [id="id_453acbf0_797a_4a41_b9a4_2d13db30efd3@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_f769679c_9625_4b1c_adb3_186096ce14a1:e -> true_dummy_up_id_f769679c_9625_4b1c_adb3_186096ce14a1 [id="id_f769679c_9625_4b1c_adb3_186096ce14a1@id_bdba2556_3ea2_4b3b_9258_02c951fe479d" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_f769679c_9625_4b1c_adb3_186096ce14a1 -> id_85fcccf8_a04e_4ad8_8543_9c6ae72f9c8d:n [id="id_f769679c_9625_4b1c_adb3_186096ce14a1@id_bdba2556_3ea2_4b3b_9258_02c951fe479d" tailtooltip=" " edgetooltip=" "]
  
  id_85fcccf8_a04e_4ad8_8543_9c6ae72f9c8d:s -> true_dummy_down_id_f769679c_9625_4b1c_adb3_186096ce14a1:n [id="id_85fcccf8_a04e_4ad8_8543_9c6ae72f9c8d@id_bdba2556_3ea2_4b3b_9258_02c951fe479d" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_f769679c_9625_4b1c_adb3_186096ce14a1 -> end_id_f769679c_9625_4b1c_adb3_186096ce14a1 [id="id_85fcccf8_a04e_4ad8_8543_9c6ae72f9c8d@id_bdba2556_3ea2_4b3b_9258_02c951fe479d" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_f769679c_9625_4b1c_adb3_186096ce14a1:w -> false_dummy_up_id_f769679c_9625_4b1c_adb3_186096ce14a1 [id="id_f769679c_9625_4b1c_adb3_186096ce14a1@id_e0eba007_f0e1_4c17_a2ea_3f88c339e51e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_f769679c_9625_4b1c_adb3_186096ce14a1 -> id_6f2510c7_7b39_474e_9be5_8ae90fb4b016:n [id="id_f769679c_9625_4b1c_adb3_186096ce14a1@id_e0eba007_f0e1_4c17_a2ea_3f88c339e51e" tailtooltip=" " edgetooltip=" "]
  
  id_6f2510c7_7b39_474e_9be5_8ae90fb4b016:s -> false_dummy_down_id_f769679c_9625_4b1c_adb3_186096ce14a1:n [id="id_6f2510c7_7b39_474e_9be5_8ae90fb4b016@id_e0eba007_f0e1_4c17_a2ea_3f88c339e51e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_f769679c_9625_4b1c_adb3_186096ce14a1 -> end_id_f769679c_9625_4b1c_adb3_186096ce14a1 [id="id_6f2510c7_7b39_474e_9be5_8ae90fb4b016@id_e0eba007_f0e1_4c17_a2ea_3f88c339e51e" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_f769679c_9625_4b1c_adb3_186096ce14a1:s -> id_e74cab6f_8ef7_4f3a_8b02_6443dc314eb9:n [id="end_id_f769679c_9625_4b1c_adb3_186096ce14a1@fun-main" tailtooltip=" " edgetooltip=" "]
  

}