| Misc |
Misc functions.
|
| Pbword |
Naive implementation of ultimately Periodic Binary Words.
|
| Clock_type |
Definition of clock types and subtyping constraints.
|
| Clock_expression |
Definition of clock expressions and adaptability constraint systems.
|
| Resolution |
Naive implementation of the resolution algorithm of adaptability
constraints.
|