130 lines
3 KiB
C
130 lines
3 KiB
C
|
/*****************************************************************************/
|
||
|
|
/* 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;
|
||
|
|
}
|