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_6ab3b273_2ddd_454b_8fe4_9ba78fccab9b [id="id_6ab3b273_2ddd_454b_8fe4_9ba78fccab9b#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_03ff941b_6da6_4690_ac21_d101a9efa641 [id="id_03ff941b_6da6_4690_ac21_d101a9efa641#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="nbit" tooltip="nbit: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b7f433ec_25c7_4ceb_a1ff_6dc6ed205a3f [id="id_b7f433ec_25c7_4ceb_a1ff_6dc6ed205a3f#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="valADC" tooltip="valADC: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7edf66ce_126e_4e66_be40_2eaaf167ebce [id="id_7edf66ce_126e_4e66_be40_2eaaf167ebce#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="ADC" tooltip="ADC: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5a58d16e_cec1_48f7_8d28_4a2128cd8904 [id="id_5a58d16e_cec1_48f7_8d28_4a2128cd8904#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="V" tooltip="V: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_53d34305_e4f4_4af4_8830_a6ece2f412c5 [id="id_53d34305_e4f4_4af4_8830_a6ece2f412c5#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="nbit" tooltip="nbit" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [id="id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a#While" pos="0.0,9994.375!" height=0.5 width=1.1600000000000001 fixedsize=true group="fun-main" 
    label="nbit<0" tooltip="nbit<0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [pos="2.5,9994.375!" shape=point width=0]
  false_dummy_up_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [pos="-1.25,9994.375!" shape=point width=0]
  
  id_d4f4a740_4c84_47b4_a98f_83ba000ffa99 [id="id_d4f4a740_4c84_47b4_a98f_83ba000ffa99#Output" pos="2.5,9993.4375!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_cf4d90a9_8f36_446c_a3cd_a2ef357a1e75"    label="\"deve essere positivo\"" tooltip="\"deve essere positivo\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_87399f7d_e35b_4509_8345_a794e68be4e3 [id="id_87399f7d_e35b_4509_8345_a794e68be4e3#Input" pos="2.5,9992.5!" height=0.4 width=1.0 fixedsize=true group="id_cf4d90a9_8f36_446c_a3cd_a2ef357a1e75"    label="nbit" tooltip="nbit" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [pos="2.5,9991.666666666666!" shape=point width=0]
  true_dummy_down_left_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [pos="0.0,9991.666666666666!" shape=point width=0]
  false_dummy_down_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [pos="-1.25,9991.5625!" shape=point width=0]
  end_dummy_down_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [pos="0.0,9991.5625!" group="fun-main" shape=point width=0]
  
  
  id_eb1a3e49_d3c7_4e37_876c_d3f77a7a5dd1 [id="id_eb1a3e49_d3c7_4e37_876c_d3f77a7a5dd1#Output" pos="0.0,9990.625!" height=0.4 width=2.18 fixedsize=true group="fun-main"    label="\"n bit corretto\"" tooltip="\"n bit corretto\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0bf74f78_d7d0_46bc_8ca4_78efa3e784a8 [id="id_0bf74f78_d7d0_46bc_8ca4_78efa3e784a8#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_6ab3b273_2ddd_454b_8fe4_9ba78fccab9b:s -> id_03ff941b_6da6_4690_ac21_d101a9efa641:n [id="id_6ab3b273_2ddd_454b_8fe4_9ba78fccab9b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_03ff941b_6da6_4690_ac21_d101a9efa641:s -> id_b7f433ec_25c7_4ceb_a1ff_6dc6ed205a3f:n [id="id_03ff941b_6da6_4690_ac21_d101a9efa641@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b7f433ec_25c7_4ceb_a1ff_6dc6ed205a3f:s -> id_7edf66ce_126e_4e66_be40_2eaaf167ebce:n [id="id_b7f433ec_25c7_4ceb_a1ff_6dc6ed205a3f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7edf66ce_126e_4e66_be40_2eaaf167ebce:s -> id_5a58d16e_cec1_48f7_8d28_4a2128cd8904:n [id="id_7edf66ce_126e_4e66_be40_2eaaf167ebce@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5a58d16e_cec1_48f7_8d28_4a2128cd8904:s -> id_53d34305_e4f4_4af4_8830_a6ece2f412c5:n [id="id_5a58d16e_cec1_48f7_8d28_4a2128cd8904@fun-main" tailtooltip=" " edgetooltip=" "]
  id_53d34305_e4f4_4af4_8830_a6ece2f412c5:s -> id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a:n [id="id_53d34305_e4f4_4af4_8830_a6ece2f412c5@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a:e -> true_dummy_up_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [id="id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a@id_cf4d90a9_8f36_446c_a3cd_a2ef357a1e75" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a -> id_d4f4a740_4c84_47b4_a98f_83ba000ffa99:n [id="id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a@id_cf4d90a9_8f36_446c_a3cd_a2ef357a1e75" tailtooltip=" " edgetooltip=" "]
  
  id_d4f4a740_4c84_47b4_a98f_83ba000ffa99:s -> id_87399f7d_e35b_4509_8345_a794e68be4e3:n [id="id_d4f4a740_4c84_47b4_a98f_83ba000ffa99@id_cf4d90a9_8f36_446c_a3cd_a2ef357a1e75" tailtooltip=" " edgetooltip=" "]
  id_87399f7d_e35b_4509_8345_a794e68be4e3:s -> true_dummy_down_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a:n [id="id_87399f7d_e35b_4509_8345_a794e68be4e3@id_cf4d90a9_8f36_446c_a3cd_a2ef357a1e75" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a -> true_dummy_down_left_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [id="id_87399f7d_e35b_4509_8345_a794e68be4e3@id_cf4d90a9_8f36_446c_a3cd_a2ef357a1e75" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a -> id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a:s [id="id_87399f7d_e35b_4509_8345_a794e68be4e3@id_cf4d90a9_8f36_446c_a3cd_a2ef357a1e75" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a:w -> false_dummy_up_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [id="id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a -> false_dummy_down_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [id="id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a -> end_dummy_down_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a [id="id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a -> id_eb1a3e49_d3c7_4e37_876c_d3f77a7a5dd1 [id="id_0bd5b815_bbd2_48a5_937f_5ce44478fd9a@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_eb1a3e49_d3c7_4e37_876c_d3f77a7a5dd1:s -> id_0bf74f78_d7d0_46bc_8ca4_78efa3e784a8:n [id="id_eb1a3e49_d3c7_4e37_876c_d3f77a7a5dd1@fun-main" tailtooltip=" " edgetooltip=" "]

}