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_895ef237_0d02_4f13_9b76_054464d3680e [id="id_895ef237_0d02_4f13_9b76_054464d3680e#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_cf5fbeb8_ea8c_4d30_b293_4efba82dfcb0 [id="id_cf5fbeb8_ea8c_4d30_b293_4efba82dfcb0#Declare" pos="0.0,9999.0625!" height=0.4 width=2.4000000000000004 fixedsize=true group="fun-main"    label="Riscaldamento = true" tooltip="Riscaldamento: Boolean = true" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_02923b22_243c_4cd7_8124_8ae3cf0736b9 [id="id_02923b22_243c_4cd7_8124_8ae3cf0736b9#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_ab1d9b28_2b4e_4dee_a122_62ab4debf1f7 [id="id_ab1d9b28_2b4e_4dee_a122_62ab4debf1f7#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="T = 20" tooltip="T: Integer = 20" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_af0ae2da_fcdc_40c5_9409_367c9bbbbe2d [id="id_af0ae2da_fcdc_40c5_9409_367c9bbbbe2d#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_c97ac0f4_9bb3_433c_9d55_c1152e65307e [id="id_c97ac0f4_9bb3_433c_9d55_c1152e65307e#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_ceab16f7_e6db_4d92_94d4_34fc7007be9c [id="id_ceab16f7_e6db_4d92_94d4_34fc7007be9c#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_433e3d15_c1ca_4b05_bac5_262d4707729f [id="id_433e3d15_c1ca_4b05_bac5_262d4707729f#Input" pos="0.0,9993.4375!" height=0.4 width=1.63 fixedsize=true group="fun-main"    label="Riscaldamento" tooltip="Riscaldamento" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b87cab23_5f90_43aa_9ee1_d8bc35e484b0 [id="id_b87cab23_5f90_43aa_9ee1_d8bc35e484b0#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_e8c11cf5_0f10_47d4_9aff_f96e89b60705 [id="id_e8c11cf5_0f10_47d4_9aff_f96e89b60705#If" pos="0.0,9991.5625!" height=0.5 width=2.81 fixedsize=true group="fun-main" 
    label="(T<19&&inCasa)&&(Eco)" tooltip="(T<19&&inCasa)&&(Eco)" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 [pos="3.75,9991.5625!" shape=point width=0]
  false_dummy_up_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 [pos="-3.75,9991.5625!" shape=point width=0]
  
  id_549d6add_4666_4dcd_9c29_e53ac25eac8c [id="id_549d6add_4666_4dcd_9c29_e53ac25eac8c#Output" pos="3.75,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_4ac4be9f_bfcf_49bf_adc2_75a273490306"    label="\"Riscaldamento acceso\"" tooltip="\"Riscaldamento acceso\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9380250a_a9fc_4f25_919f_59195222457b [id="id_9380250a_a9fc_4f25_919f_59195222457b#Output" pos="-3.75,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_b04dd933_2af7_4a30_a291_57f1344f2975"    label="\"Riscaldamento spento\"" tooltip="\"Riscaldamento spento\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 [ pos="3.75,9989.6875!" shape=point width=0]
  false_dummy_down_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 [ pos="-3.75,9989.6875!" shape=point width=0]
  
  end_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 [id="end_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705#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_9be85fb3_6951_4a0a_ac1e_f881df9d7edf [id="id_9be85fb3_6951_4a0a_ac1e_f881df9d7edf#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_895ef237_0d02_4f13_9b76_054464d3680e:s -> id_cf5fbeb8_ea8c_4d30_b293_4efba82dfcb0:n [id="id_895ef237_0d02_4f13_9b76_054464d3680e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_cf5fbeb8_ea8c_4d30_b293_4efba82dfcb0:s -> id_02923b22_243c_4cd7_8124_8ae3cf0736b9:n [id="id_cf5fbeb8_ea8c_4d30_b293_4efba82dfcb0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_02923b22_243c_4cd7_8124_8ae3cf0736b9:s -> id_ab1d9b28_2b4e_4dee_a122_62ab4debf1f7:n [id="id_02923b22_243c_4cd7_8124_8ae3cf0736b9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_ab1d9b28_2b4e_4dee_a122_62ab4debf1f7:s -> id_af0ae2da_fcdc_40c5_9409_367c9bbbbe2d:n [id="id_ab1d9b28_2b4e_4dee_a122_62ab4debf1f7@fun-main" tailtooltip=" " edgetooltip=" "]
  id_af0ae2da_fcdc_40c5_9409_367c9bbbbe2d:s -> id_c97ac0f4_9bb3_433c_9d55_c1152e65307e:n [id="id_af0ae2da_fcdc_40c5_9409_367c9bbbbe2d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c97ac0f4_9bb3_433c_9d55_c1152e65307e:s -> id_ceab16f7_e6db_4d92_94d4_34fc7007be9c:n [id="id_c97ac0f4_9bb3_433c_9d55_c1152e65307e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_ceab16f7_e6db_4d92_94d4_34fc7007be9c:s -> id_433e3d15_c1ca_4b05_bac5_262d4707729f:n [id="id_ceab16f7_e6db_4d92_94d4_34fc7007be9c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_433e3d15_c1ca_4b05_bac5_262d4707729f:s -> id_b87cab23_5f90_43aa_9ee1_d8bc35e484b0:n [id="id_433e3d15_c1ca_4b05_bac5_262d4707729f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b87cab23_5f90_43aa_9ee1_d8bc35e484b0:s -> id_e8c11cf5_0f10_47d4_9aff_f96e89b60705:n [id="id_b87cab23_5f90_43aa_9ee1_d8bc35e484b0@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_e8c11cf5_0f10_47d4_9aff_f96e89b60705:e -> true_dummy_up_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 [id="id_e8c11cf5_0f10_47d4_9aff_f96e89b60705@id_4ac4be9f_bfcf_49bf_adc2_75a273490306" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 -> id_549d6add_4666_4dcd_9c29_e53ac25eac8c:n [id="id_e8c11cf5_0f10_47d4_9aff_f96e89b60705@id_4ac4be9f_bfcf_49bf_adc2_75a273490306" tailtooltip=" " edgetooltip=" "]
  
  id_549d6add_4666_4dcd_9c29_e53ac25eac8c:s -> true_dummy_down_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705:n [id="id_549d6add_4666_4dcd_9c29_e53ac25eac8c@id_4ac4be9f_bfcf_49bf_adc2_75a273490306" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 -> end_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 [id="id_549d6add_4666_4dcd_9c29_e53ac25eac8c@id_4ac4be9f_bfcf_49bf_adc2_75a273490306" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_e8c11cf5_0f10_47d4_9aff_f96e89b60705:w -> false_dummy_up_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 [id="id_e8c11cf5_0f10_47d4_9aff_f96e89b60705@id_b04dd933_2af7_4a30_a291_57f1344f2975" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 -> id_9380250a_a9fc_4f25_919f_59195222457b:n [id="id_e8c11cf5_0f10_47d4_9aff_f96e89b60705@id_b04dd933_2af7_4a30_a291_57f1344f2975" tailtooltip=" " edgetooltip=" "]
  
  id_9380250a_a9fc_4f25_919f_59195222457b:s -> false_dummy_down_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705:n [id="id_9380250a_a9fc_4f25_919f_59195222457b@id_b04dd933_2af7_4a30_a291_57f1344f2975" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 -> end_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705 [id="id_9380250a_a9fc_4f25_919f_59195222457b@id_b04dd933_2af7_4a30_a291_57f1344f2975" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705:s -> id_9be85fb3_6951_4a0a_ac1e_f881df9d7edf:n [id="end_id_e8c11cf5_0f10_47d4_9aff_f96e89b60705@fun-main" tailtooltip=" " edgetooltip=" "]
  

}