Header file containing the data structures used by the scheme and the functions used to manage them.
Header file containing some utility macros and constants.
Header file containing the functions to implement the improved SV-Scheme.
Header file containing the functions used by both scheme's implementations.
Header file containing the functions to implement the base SV-Scheme.