My first project with KiCad...
/* on Arduino Uno */
#define OFF 0
#define ON 1
#define T_REGENERATION_MS 2500 // 2.5 sec for regeneration delay
...
// somewhere in the state machine
if ( isRgazSensorSaturated() ) {
// if the gas sensor saturated do
setRregeneration(ON);
delay(T_REGENERATION_MS) // wait for the necessary time, see https://www.arduino.cc/reference/en/#functions
setRregeneration(OFF);
}
...

