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_ecdcaab9_708b_40db_a3ba_426716bacda3 [id="id_ecdcaab9_708b_40db_a3ba_426716bacda3#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_b185fbd1_187f_4bf6_a66e_d05ac94ce08e [id="id_b185fbd1_187f_4bf6_a66e_d05ac94ce08e#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_08cb9165_7680_41d7_8b6b_4735e1fce2b8 [id="id_08cb9165_7680_41d7_8b6b_4735e1fce2b8#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_08c3b0c4_d279_4f70_a80c_0ca9f82ba378 [id="id_08c3b0c4_d279_4f70_a80c_0ca9f82ba378#Declare" pos="0.0,9997.1875!" 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_4876db11_94f0_44bf_9e93_925c613e2492 [id="id_4876db11_94f0_44bf_9e93_925c613e2492#Declare" pos="0.0,9996.25!" 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_94332aab_7e2a_491e_ba80_c3aabb1b167e [id="id_94332aab_7e2a_491e_ba80_c3aabb1b167e#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_918b51ba_8939_474f_abc5_57edaf86444b [id="id_918b51ba_8939_474f_abc5_57edaf86444b#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_91a6528c_f1a3_4bd9_a2d4_8aaf6352ae18 [id="id_91a6528c_f1a3_4bd9_a2d4_8aaf6352ae18#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_b5ddad7f_c85f_43c5_af78_8601748b9cba [id="id_b5ddad7f_c85f_43c5_af78_8601748b9cba#Input" pos="0.0,9992.5!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="riscaldame" tooltip="riscaldame" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_870bd606_e43e_4ffa_8b95_3db03160663d [id="id_870bd606_e43e_4ffa_8b95_3db03160663d#If" pos="0.0,9991.5625!" height=0.5 width=5.01 fixedsize=true group="fun-main" 
    label="T < 19 && inCasa && !Eco == riscaldamento" tooltip="T < 19 && inCasa && !Eco == riscaldamento" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_870bd606_e43e_4ffa_8b95_3db03160663d [pos="5.0,9991.5625!" shape=point width=0]
  false_dummy_up_id_870bd606_e43e_4ffa_8b95_3db03160663d [pos="-5.0,9991.5625!" shape=point width=0]
  
  id_f6ebf075_e023_47e8_a6ae_088b1ade150e [id="id_f6ebf075_e023_47e8_a6ae_088b1ade150e#Output" pos="5.0,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_98079fdc_8d86_4807_9938_32c545a3b36b"    label="\"Riscaldamento Acceso\"" tooltip="\"Riscaldamento Acceso\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_62848b42_c0db_494f_81ee_ecf374da1d3a [id="id_62848b42_c0db_494f_81ee_ecf374da1d3a#Output" pos="-5.0,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_893f4921_69a6_4606_9744_5ec712353027"    label="\"Riscaldamento Spento\"" tooltip="\"Riscaldamento Spento\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_870bd606_e43e_4ffa_8b95_3db03160663d [ pos="5.0,9989.6875!" shape=point width=0]
  false_dummy_down_id_870bd606_e43e_4ffa_8b95_3db03160663d [ pos="-5.0,9989.6875!" shape=point width=0]
  
  end_id_870bd606_e43e_4ffa_8b95_3db03160663d [id="end_id_870bd606_e43e_4ffa_8b95_3db03160663d#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_998cf726_a7fa_47c0_9186_f468892fbe8c [id="id_998cf726_a7fa_47c0_9186_f468892fbe8c#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_ecdcaab9_708b_40db_a3ba_426716bacda3:s -> id_b185fbd1_187f_4bf6_a66e_d05ac94ce08e:n [id="id_ecdcaab9_708b_40db_a3ba_426716bacda3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b185fbd1_187f_4bf6_a66e_d05ac94ce08e:s -> id_08cb9165_7680_41d7_8b6b_4735e1fce2b8:n [id="id_b185fbd1_187f_4bf6_a66e_d05ac94ce08e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_08cb9165_7680_41d7_8b6b_4735e1fce2b8:s -> id_08c3b0c4_d279_4f70_a80c_0ca9f82ba378:n [id="id_08cb9165_7680_41d7_8b6b_4735e1fce2b8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_08c3b0c4_d279_4f70_a80c_0ca9f82ba378:s -> id_4876db11_94f0_44bf_9e93_925c613e2492:n [id="id_08c3b0c4_d279_4f70_a80c_0ca9f82ba378@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4876db11_94f0_44bf_9e93_925c613e2492:s -> id_94332aab_7e2a_491e_ba80_c3aabb1b167e:n [id="id_4876db11_94f0_44bf_9e93_925c613e2492@fun-main" tailtooltip=" " edgetooltip=" "]
  id_94332aab_7e2a_491e_ba80_c3aabb1b167e:s -> id_918b51ba_8939_474f_abc5_57edaf86444b:n [id="id_94332aab_7e2a_491e_ba80_c3aabb1b167e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_918b51ba_8939_474f_abc5_57edaf86444b:s -> id_91a6528c_f1a3_4bd9_a2d4_8aaf6352ae18:n [id="id_918b51ba_8939_474f_abc5_57edaf86444b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_91a6528c_f1a3_4bd9_a2d4_8aaf6352ae18:s -> id_b5ddad7f_c85f_43c5_af78_8601748b9cba:n [id="id_91a6528c_f1a3_4bd9_a2d4_8aaf6352ae18@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b5ddad7f_c85f_43c5_af78_8601748b9cba:s -> id_870bd606_e43e_4ffa_8b95_3db03160663d:n [id="id_b5ddad7f_c85f_43c5_af78_8601748b9cba@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_870bd606_e43e_4ffa_8b95_3db03160663d:e -> true_dummy_up_id_870bd606_e43e_4ffa_8b95_3db03160663d [id="id_870bd606_e43e_4ffa_8b95_3db03160663d@id_98079fdc_8d86_4807_9938_32c545a3b36b" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_870bd606_e43e_4ffa_8b95_3db03160663d -> id_f6ebf075_e023_47e8_a6ae_088b1ade150e:n [id="id_870bd606_e43e_4ffa_8b95_3db03160663d@id_98079fdc_8d86_4807_9938_32c545a3b36b" tailtooltip=" " edgetooltip=" "]
  
  id_f6ebf075_e023_47e8_a6ae_088b1ade150e:s -> true_dummy_down_id_870bd606_e43e_4ffa_8b95_3db03160663d:n [id="id_f6ebf075_e023_47e8_a6ae_088b1ade150e@id_98079fdc_8d86_4807_9938_32c545a3b36b" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_870bd606_e43e_4ffa_8b95_3db03160663d -> end_id_870bd606_e43e_4ffa_8b95_3db03160663d [id="id_f6ebf075_e023_47e8_a6ae_088b1ade150e@id_98079fdc_8d86_4807_9938_32c545a3b36b" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_870bd606_e43e_4ffa_8b95_3db03160663d:w -> false_dummy_up_id_870bd606_e43e_4ffa_8b95_3db03160663d [id="id_870bd606_e43e_4ffa_8b95_3db03160663d@id_893f4921_69a6_4606_9744_5ec712353027" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_870bd606_e43e_4ffa_8b95_3db03160663d -> id_62848b42_c0db_494f_81ee_ecf374da1d3a:n [id="id_870bd606_e43e_4ffa_8b95_3db03160663d@id_893f4921_69a6_4606_9744_5ec712353027" tailtooltip=" " edgetooltip=" "]
  
  id_62848b42_c0db_494f_81ee_ecf374da1d3a:s -> false_dummy_down_id_870bd606_e43e_4ffa_8b95_3db03160663d:n [id="id_62848b42_c0db_494f_81ee_ecf374da1d3a@id_893f4921_69a6_4606_9744_5ec712353027" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_870bd606_e43e_4ffa_8b95_3db03160663d -> end_id_870bd606_e43e_4ffa_8b95_3db03160663d [id="id_62848b42_c0db_494f_81ee_ecf374da1d3a@id_893f4921_69a6_4606_9744_5ec712353027" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_870bd606_e43e_4ffa_8b95_3db03160663d:s -> id_998cf726_a7fa_47c0_9186_f468892fbe8c:n [id="end_id_870bd606_e43e_4ffa_8b95_3db03160663d@fun-main" tailtooltip=" " edgetooltip=" "]
  

}