//Insert declarations of global clocks, variables, constants and channels.
// external declarations - based on data.h file from VS model
// channel definitions
broadcast chan DutyCycleCompleted, DutyOnCompleted, HighAlarmTimeout,
LowAlarmTimeout;
broadcast chan Sample;
// constant definitions
const CutoutCountLimit 3;
const DefaultEmergencyOnPercent 30;
const DutyCyclePeriod 4;
const maxtemp 3;
// external variables
const AlarmDelay 5;
bool CoolingOn;
bool DefrostActive;
bool HighAlarm;
const HighAlarmLimit maxtemp-1;
bool LowAlarm;
const LowAlarmLimit -maxtemp+1;
const PulldownAlarmDelay 10;
bool S3Error;
int S3Temp;
bool S4Error;
const S4Percent 100;
int S4Temp;
bool StandbyActive;
const ThCutOut -1;
const ThDifferential 1;
int ThTemp;
//internal variables - based on bk3 file
const maxtime 5;
// int [0,maxtime] Now;
// int [0,maxtime] DutyCycleTimer;
// int [0,maxtime] DutyOnTimer;
// int [0,maxtime] HighAlarmDelay;
// int [0,maxtime] LowAlarmDelay;
bool AfterCutOut;
// int CutOutCount;
// int DutyOnTime;
// int [0,20] OffTime;
// int [0,20] OnTime;
// int[0,20] startTime;
broadcast chan NewTemp;
// additional declarations specific for the Uppaal model
broadcast chan StartDuty, StartHigh, StartLow, StartCycle;
int Adelay, Ldelay;
int [0,2] manual;
const samplefreq 1;
bool old;
// test generation declarations
bool bits[18];
// Optimization declarations
clock dutytimer,cycletimer;NormalEmergentS1S2S3S4TempCalcS1S2HighHandlerclock x;S1S2S3S4LowHandlerclock x;S1S2S3S4StbyHandlerS1S2DefrHandlerS1S2DutyTimerclock x;S1S2HighTimerclock x; int limit;S1S2LowTimerclock x; int limit;S1S2CycleTimerclock x;S1S2Samplerclock x;S1S2system NormalEmergent,TempCalc,HighHandler,LowHandler,
StbyHandler,DefrHandler,Sampler;