The adaptability test of two ultimately periodic binary words:
The synchronizability test of two ultimately periodic binary words:
Rewrite a subtyping constraint
Rewrite a subtyping constraint system into an adaptability constraint system.
Adjuste the size of each sampler in each constraint of a simplified adaptability constraint system.
Build increasing indexes constraint system.
Build increasing indexes constraint:
Build an ultimately periodic binary word from the number of 1s of its prefix and periodic part, the size of its prefix and periodic part, and the indexes of its 1s.
Build the periodicity constraint associated to a variable
Build the set of periodicity constraints.
Build sufficient indexes constraints from and index on 1 variable
Build the set of sufficient indexes constraints.
Build sufficient size constraint from the choice of number of 1s of a word variable:
Build the set of sufficient size constraints.
Check the solution of an adaptability constraint system.
Check the solution of a system of constraints on indexes of 1s and sizes.
Choose for a variable c_n the number of 1s in the prefix (
Compute the prefix size of a variable c_n.
Solve a subtyping constraint system.
Print a list of elements.
Greatest common divisor.
Increase prefix size of
Index of the jth 1 of an ultimately periodic binary word
Build directely the indexes of 1s and size constraints corresponding to adaptability constraints.
Build indexes of 1s and size constraints corresponding to synchronizability and precedence constraints.
Solve the linear constraints on the indexes of 1s and sizes.
Least common multiple.
Choose for each variable in an adjusted adaptability constraint system its number of 1s in the prefix and periodic part.
Number of 1s a finite word
Computation of the
The ultimately periodic binary word
Build the ultimately periodic binary words corresponding to the solution of sizes and indexes of 1s.
The precedence test of two ultimately periodic binary words:
Computation of the rate of an ultimately periodic binary word:
Repeat periodic pattern:
Samplers of a variable c_n in a simplified adaptability constraint system A:
Rewrite an adaptability constraint system into an equivalent one where all the constraints have the simple shape
Simplify an adaptability constraint
Simplify a precedence constraint
Simplify a precedence constraint system.
Simplify a synchronizability constraint
Simplify a synchronizability constraint system.
Size of a finite word
Split an adaptability constraint
Separate the type variable and the word expression in a clock type.
Split an adaptability constraint system into equivalent synchronizability and precedence constraint systems.
Set of integer variables that appear in a linear constraint system.
Set of word variables that appear in a simplified adaptability constraint system.