Supplementing the Model with Handwritten Code : Mapping Rational Statemate Types into C : Bit Arrays

Bit Arrays

Bit-arrays are stored in unsigned ints. Since unsigned ints can hold a maximum of 32 bits, bit-arrays larger than 32 bits are stored in arrays of unsigned ints. Arrays of bit-arrays are stored in two dimensional arrays of unsigned ints. Notice that multiple bit-arrays smaller than 32 bits are NOT packed into the unsigned int.

 
Note: In $STM_ROOT/etc/prt/c/types.h you will find the statement: typedef unsigned int bit_array.