
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_2ce69469_0bb6_4cf2_8f88_14e082bc81d8 [id="id_2ce69469_0bb6_4cf2_8f88_14e082bc81d8#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_7063b59f_d5d7_47d4_a3b4_89f3ed85c0ff [id="id_7063b59f_d5d7_47d4_a3b4_89f3ed85c0ff#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_494a43e9_0979_488a_b2e0_793c60ead787 [id="id_494a43e9_0979_488a_b2e0_793c60ead787#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_fb9d44b7_2216_4a36_96a3_cc7ffcb4f61c [id="id_fb9d44b7_2216_4a36_96a3_cc7ffcb4f61c#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_95e0d50f_bbf0_41db_b221_d6ea9274edbc [id="id_95e0d50f_bbf0_41db_b221_d6ea9274edbc#Declare" pos="0.0,9996.25!" 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_4b531db7_6042_48d8_91c4_7afcf32395fc [id="id_4b531db7_6042_48d8_91c4_7afcf32395fc#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_8cdd3209_6b8a_4118_ab7a_534a4f6dab2a [id="id_8cdd3209_6b8a_4118_ab7a_534a4f6dab2a#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_cd1e1230_673a_443d_a8e7_11b17da0d852 [id="id_cd1e1230_673a_443d_a8e7_11b17da0d852#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_80fb6ae5_fd21_4468_b574_7f4e798e4c62 [id="id_80fb6ae5_fd21_4468_b574_7f4e798e4c62#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_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 [id="id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231#If" pos="0.0,9991.5625!" height=0.5 width=4.68 fixedsize=true group="fun-main" 
    label="T<19 && inCasa == vero && eco == falso" tooltip="T<19 && inCasa == vero && eco == falso" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 [pos="5.0,9991.5625!" shape=point width=0]
  false_dummy_up_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 [pos="-5.0,9991.5625!" shape=point width=0]
  
  id_4e614da5_881a_4898_93fd_3c33f900b8a2 [id="id_4e614da5_881a_4898_93fd_3c33f900b8a2#Output" pos="5.0,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_edb85eaf_ce64_4959_bf1a_d033e817c715"    label="\"riscaldamento accesp\"" tooltip="\"riscaldamento accesp\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f0fcfb82_86ed_4f2d_9fa0_33c5da643598 [id="id_f0fcfb82_86ed_4f2d_9fa0_33c5da643598#Output" pos="-5.0,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_f958f8f9_7d22_4d95_87b5_8c8ffaa22352"    label="\"riscaldamento spento\"" tooltip="\"riscaldamento spento\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 [ pos="5.0,9989.6875!" shape=point width=0]
  false_dummy_down_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 [ pos="-5.0,9989.6875!" shape=point width=0]
  
  end_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 [id="end_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231#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_6f6915ce_b397_4b6c_9638_35e04bda5cd9 [id="id_6f6915ce_b397_4b6c_9638_35e04bda5cd9#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_2ce69469_0bb6_4cf2_8f88_14e082bc81d8:s -> id_7063b59f_d5d7_47d4_a3b4_89f3ed85c0ff:n [id="id_2ce69469_0bb6_4cf2_8f88_14e082bc81d8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7063b59f_d5d7_47d4_a3b4_89f3ed85c0ff:s -> id_494a43e9_0979_488a_b2e0_793c60ead787:n [id="id_7063b59f_d5d7_47d4_a3b4_89f3ed85c0ff@fun-main" tailtooltip=" " edgetooltip=" "]
  id_494a43e9_0979_488a_b2e0_793c60ead787:s -> id_fb9d44b7_2216_4a36_96a3_cc7ffcb4f61c:n [id="id_494a43e9_0979_488a_b2e0_793c60ead787@fun-main" tailtooltip=" " edgetooltip=" "]
  id_fb9d44b7_2216_4a36_96a3_cc7ffcb4f61c:s -> id_95e0d50f_bbf0_41db_b221_d6ea9274edbc:n [id="id_fb9d44b7_2216_4a36_96a3_cc7ffcb4f61c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_95e0d50f_bbf0_41db_b221_d6ea9274edbc:s -> id_4b531db7_6042_48d8_91c4_7afcf32395fc:n [id="id_95e0d50f_bbf0_41db_b221_d6ea9274edbc@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4b531db7_6042_48d8_91c4_7afcf32395fc:s -> id_8cdd3209_6b8a_4118_ab7a_534a4f6dab2a:n [id="id_4b531db7_6042_48d8_91c4_7afcf32395fc@fun-main" tailtooltip=" " edgetooltip=" "]
  id_8cdd3209_6b8a_4118_ab7a_534a4f6dab2a:s -> id_cd1e1230_673a_443d_a8e7_11b17da0d852:n [id="id_8cdd3209_6b8a_4118_ab7a_534a4f6dab2a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_cd1e1230_673a_443d_a8e7_11b17da0d852:s -> id_80fb6ae5_fd21_4468_b574_7f4e798e4c62:n [id="id_cd1e1230_673a_443d_a8e7_11b17da0d852@fun-main" tailtooltip=" " edgetooltip=" "]
  id_80fb6ae5_fd21_4468_b574_7f4e798e4c62:s -> id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231:n [id="id_80fb6ae5_fd21_4468_b574_7f4e798e4c62@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231:e -> true_dummy_up_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 [id="id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231@id_edb85eaf_ce64_4959_bf1a_d033e817c715" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 -> id_4e614da5_881a_4898_93fd_3c33f900b8a2:n [id="id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231@id_edb85eaf_ce64_4959_bf1a_d033e817c715" tailtooltip=" " edgetooltip=" "]
  
  id_4e614da5_881a_4898_93fd_3c33f900b8a2:s -> true_dummy_down_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231:n [id="id_4e614da5_881a_4898_93fd_3c33f900b8a2@id_edb85eaf_ce64_4959_bf1a_d033e817c715" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 -> end_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 [id="id_4e614da5_881a_4898_93fd_3c33f900b8a2@id_edb85eaf_ce64_4959_bf1a_d033e817c715" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231:w -> false_dummy_up_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 [id="id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231@id_f958f8f9_7d22_4d95_87b5_8c8ffaa22352" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 -> id_f0fcfb82_86ed_4f2d_9fa0_33c5da643598:n [id="id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231@id_f958f8f9_7d22_4d95_87b5_8c8ffaa22352" tailtooltip=" " edgetooltip=" "]
  
  id_f0fcfb82_86ed_4f2d_9fa0_33c5da643598:s -> false_dummy_down_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231:n [id="id_f0fcfb82_86ed_4f2d_9fa0_33c5da643598@id_f958f8f9_7d22_4d95_87b5_8c8ffaa22352" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 -> end_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231 [id="id_f0fcfb82_86ed_4f2d_9fa0_33c5da643598@id_f958f8f9_7d22_4d95_87b5_8c8ffaa22352" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231:s -> id_6f6915ce_b397_4b6c_9638_35e04bda5cd9:n [id="end_id_0eef7d67_36b6_4e4d_ac09_3b824ddcd231@fun-main" tailtooltip=" " edgetooltip=" "]
  

}
