C | |
| Clock_expression |
Definition of clock expressions and adaptability constraint systems.
|
| Clock_type |
Definition of clock types and subtyping constraints.
|
I | |
| Integer_var_map [Clock_expression] |
Map of integer variables.
|
| Integer_var_set [Clock_expression] |
Set of integer variables.
|
M | |
| Misc |
Misc functions.
|
O | |
| Ordered_integer_var [Clock_expression] |
Ordered integer variables
|
P | |
| Pbword |
Naive implementation of ultimately Periodic Binary Words.
|
R | |
| Resolution |
Naive implementation of the resolution algorithm of adaptability
constraints.
|
W | |
| Word_var_map [Clock_expression] |
Map of word variables.
|
| Word_var_set [Clock_expression] |
Set of word variables.
|