File: CruiseControl_extern.h

package info (click to toggle)
frama-c 20161101%2Bsilicon%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 42,324 kB
  • ctags: 35,695
  • sloc: ml: 200,142; ansic: 31,465; makefile: 2,334; sh: 1,643; lisp: 259; python: 85; asm: 26
file content (32 lines) | stat: -rw-r--r-- 1,016 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
/*$************* SCADE_KCG KCG Version 5.1.1 (build i10) **************
** Command :
** l2C        CruiseControl.lus -node CruiseControl
**     -noexp @ALL@
**     -keep_named_var
**     -const
**     -bitwise
**     -loc_ctx
**     -no_copy_mem
**     -debug
** date of generation (MM/DD/YYYY): 07/06/2007 13:30:09
** last modification date for CruiseControl.lus (MM/DD/YYYY): 07/06/2007 
********************************************************************$*/

/* ========= */
/* CONSTANTS */
/* ========= */

extern const Speed ZeroSpeed;
extern const Speed SpeedInc;
extern const Speed SpeedMax;
extern const Speed SpeedMin;
extern const Percent ZeroPercent;
extern const real Kp;
extern const real Ki;
extern const Percent RegThrottleMax;


/*$************* SCADE_KCG KCG Version 5.1.1 (build i10) **************
** End of file CruiseControl_extern.h
** End of generation (MM/DD/YYYY) : 07/06/2007 13:30:09
********************************************************************$*/