EncCache.c
Encoding.c
GroupSet.c
By: Roberto Cavada
See AlsoEncCache.h
EncCache_create()
EncCache_destroy()
EncCache_push_status_and_reset()
EncCache_pop_status()
EncCache_new_constant()
EncCache_new_input_var()
EncCache_new_state_var()
EncCache_new_define()
EncCache_lookup_symbol()
EncCache_is_symbol_state_var()
EncCache_is_symbol_input_var()
EncCache_is_symbol_var()
EncCache_is_symbol_declared()
EncCache_is_symbol_define()
EncCache_is_constant_defined()
enc_cache_new_symbol()
enc_cache_init()
enc_cache_deinit()
By: Roberto Cavada, Daniel Sheridan, Marco Roveri
See AlsoEncoding.h
Encoding_create()
Encoding_destroy()
Encoding_push_status_and_reset()
Encoding_pop_status()
Encoding_encode_vars()
Encoding_get_var_encoding()
Encoding_get_var_encoding_bool_vars()
Encoding_get_var_range()
Encoding_is_var_bit()
Encoding_get_scalar_var_of_bit()
Encoding_get_define_body()
Encoding_get_define_flatten_body()
Encoding_get_define_context()
Encoding_encode_var()
Encoding_declare_constant()
Encoding_declare_determ_var()
Encoding_declare_input_var()
Encoding_declare_state_var()
Encoding_declare_define()
Encoding_get_constants_num()
Encoding_get_constants_list()
Encoding_get_state_vars_num()
Encoding_get_bool_state_vars_num()
Encoding_get_input_vars_num()
Encoding_get_model_input_vars_num()
Encoding_get_bool_input_vars_num()
Encoding_get_defines_num()
Encoding_get_all_model_vars_list()
Encoding_get_all_model_symbols_list()
Encoding_get_state_vars_list()
Encoding_get_input_vars_list()
Encoding_get_model_input_vars_list()
Encoding_get_bool_input_vars_list()
Encoding_get_bool_state_vars_list()
Encoding_get_bool_vars_list()
Encoding_get_bool_input_vars_groups()
Encoding_get_bool_state_vars_groups()
Encoding_sort_bool_vars()
Encoding_get_defines_list()
Encoding_lookup_symbol()
Encoding_is_symbol_declared()
Encoding_is_symbol_var()
Encoding_is_symbol_constant()
Encoding_is_symbol_state_var()
Encoding_is_symbol_boolean_var()
Encoding_is_symbol_input_var()
Encoding_is_symbol_model_input_var()
Encoding_is_symbol_define()
Encoding_is_constant_defined()
Encoding_list_contains_input_vars()
Encoding_list_contains_state_vars()
Encoding_get_model_state_symbols_list()
Encoding_get_model_input_symbols_list()
Encoding_get_model_state_input_symbols_list()
encoding_init()
encoding_deinit()
encoding_declare_input_var()
encoding_encode_scalar_var()
encoding_set_var_encoding()
encoding_traverse_encoding()
encoding_assign_define_body_to_symbols_lists()
encoding_refill_symbols_lists()
By: Roberto Cavada
When the order of bool vars is important, a list of of group of vars is returned. All vars appearing into a group should be grouped by the specific encoding
GroupSet_create()
GroupSet_destroy()
GroupSet_add_group()
GroupSet_get_first_iter()
GroupSet_get_group()
group_set_init()
group_set_deinit()