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.
|