-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathomega.cl
More file actions
32 lines (26 loc) · 1.01 KB
/
omega.cl
File metadata and controls
32 lines (26 loc) · 1.01 KB
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
/*
* omega.cl
*
* date : 19.08.2020
* author : M. Khaled
*/
/* some defines needed later */
#define concrete_t @@concrete_t_name@@
#define symbolic_t @@symbolic_t_name@@
// load some values from the config file
#define ssDim @pfaces-configValue:"system.states.dimension"
#define ssQnt @pfaces-configValue:"system.states.quantizers"
#define ssLb @pfaces-configValue:"system.states.first_symbol"
#define ssUb @pfaces-configValue:"system.states.last_symbol"
#define isDim @pfaces-configValue:"system.controls.dimension"
#define isQnt @pfaces-configValue:"system.controls.quantizers"
#define isLb @pfaces-configValue:"system.controls.first_symbol"
#define isUb @pfaces-configValue:"system.controls.last_symbol"
/* pfaces things */
#include "pfaces.cl"
/* utility functions */
@pfaces-include:"omega_utils.cl"
/* kernel functions for identifying the artomic propositions */
@pfaces-include:"omega_aps.cl"
/* a kernel function for constructing the symbolic model */
@pfaces-include:"omega_symmodel.cl"