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