Arduino/ABRO/ABROModel.c

130 lines
3 KiB
C
Raw Normal View History

2017-03-13 08:28:12 +01:00
/*****************************************************************************/
/* G E N E R A T E D C C O D E */
/*****************************************************************************/
/* KIELER - Kiel Integrated Environment for Layout Eclipse RichClient */
/* */
/* http://www.informatik.uni-kiel.de/rtsys/kieler/ */
/* Copyright 2014 by */
/* + Kiel University */
/* + Department of Computer Science */
/* + Real-Time and Embedded Systems Group */
/* */
/* This code is provided under the terms of the Eclipse Public License (EPL).*/
/*****************************************************************************/
char A;
char B;
char R;
char O;
char _trig;
char _trig2;
char _ABRO_local__termRegion;
char _ABRO_local__termRegion2;
char _GO;
char g0;
char g1;
char PRE_g1;
char g2;
char g4;
char g5;
char g6;
char g7;
char PRE_g7;
char g8;
char g9;
char g11;
char g12;
char g13;
char g14;
char PRE_g14;
char g15;
char g17;
char g18;
char g19;
char g20;
char PRE_g20;
char g21;
char g22;
char g23;
char g24;
char PRE_g24;
char g25;
char _condg4;
char _condg13;
char _condg19;
char g6_e1;
char g12_e2;
char g18_e3;
void reset() {
_GO = 1;
PRE_g1 = 0;
PRE_g7 = 0;
PRE_g14 = 0;
PRE_g20 = 0;
PRE_g24 = 0;
return;
}
void tick() {
{
g0 = _GO;
g25 = (PRE_g24);
g8 = (PRE_g7);
g9 = (g8 && R);
if (g9) {
_trig = 1;
}
g2 = (PRE_g1);
if (g2) {
_trig = 0;
_trig2 = 0;
_ABRO_local__termRegion = 0;
_ABRO_local__termRegion2 = 0;
}
g21 = (PRE_g20);
g17 = (g2 || g21);
g19 = (g17 && (!(B)));
_condg19 = _trig;
g18 = ((g17 && B) || (g19 && _condg19));
if (g18) {
_ABRO_local__termRegion2 = 1;
}
g15 = (PRE_g14);
g11 = (g2 || g15);
g13 = (g11 && (!(A)));
_condg13 = _trig;
g12 = ((g13 && _condg13) || (g11 && A));
if (g12) {
_ABRO_local__termRegion = 1;
}
g4 = (g2 || (g8 && (!(R))));
_condg4 = (_ABRO_local__termRegion && _ABRO_local__termRegion2);
g5 = (g4 && _condg4);
if (g5) {
_trig2 = 1;
}
g6 = (g9 || g5);
g7 = (g4 && (!(_condg4)));
g14 = (g13 && (!(_condg13)));
g20 = (g19 && (!(_condg19)));
g12_e2 = (!(g14));
g6_e1 = (!(g7));
g18_e3 = (!(g20));
g22 = ((g6_e1 || g6) && (g12_e2 || g12) && (g18_e3 || g18) && (g6 || g12 || g18));
g1 = (_GO || (g25 && R) || (g22 && _trig));
if (g1) {
O = 0;
}
g23 = (g22 && (!(_trig)));
if (g23) {
O = 1;
}
g24 = (g23 || (g25 && (!(R))));
}
PRE_g1 = g1;
PRE_g7 = g7;
PRE_g14 = g14;
PRE_g20 = g20;
PRE_g24 = g24;
_GO = 0;
return;
}