EncCache_ptr EncCache_create( )
EncCache.c
void EncCache_destroy( EncCache_ptr self )
EncCache.c
boolean EncCache_is_constant_defined( EncCache_ptr self, node_ptr constant )
EncCache.c
boolean EncCache_is_symbol_declared( EncCache_ptr self, node_ptr name )
EncCache.c
boolean EncCache_is_symbol_define( EncCache_ptr self, node_ptr name )
EncCache.c
boolean EncCache_is_symbol_input_var( EncCache_ptr self, node_ptr name )
EncCache.c
boolean EncCache_is_symbol_state_var( EncCache_ptr self, node_ptr name )
EncCache.c
boolean EncCache_is_symbol_var( EncCache_ptr self, node_ptr name )
EncCache.c
node_ptr EncCache_lookup_symbol( EncCache_ptr self, node_ptr name )
EncCache.c
void EncCache_new_constant( EncCache_ptr self, node_ptr c )
EncCache.c
void EncCache_new_define( EncCache_ptr self, node_ptr name, node_ptr ctx, node_ptr definition )
EncCache.c
void EncCache_new_input_var( EncCache_ptr self, node_ptr var, node_ptr range )
EncCache.c
void EncCache_new_state_var( EncCache_ptr self, node_ptr var, node_ptr range )
EncCache.c
void EncCache_pop_status( EncCache_ptr self )
EncCache.c
void EncCache_push_status_and_reset( EncCache_ptr self )
EncCache.c
Encoding_ptr Encoding_create( )
Encoding.c
void Encoding_declare_constant( Encoding_ptr self, node_ptr name )
Encoding.c
void Encoding_declare_define( Encoding_ptr self, node_ptr name, node_ptr ctx, node_ptr definition )
Encoding.c
void Encoding_declare_determ_var( Encoding_ptr self, node_ptr var )
Encoding.c
void Encoding_declare_input_var( Encoding_ptr self, node_ptr var, node_ptr range )
Encoding.c
void Encoding_declare_state_var( Encoding_ptr self, node_ptr var, node_ptr range )
Encoding.c
void Encoding_destroy( Encoding_ptr self )
Encoding.c
void Encoding_encode_vars( Encoding_ptr self )
Encoding.c
void Encoding_encode_var( Encoding_ptr self, node_ptr name )
encoding_encode_var_recur
Encoding.c
NodeList_ptr Encoding_get_all_model_symbols_list( const Encoding_ptr self )
Encoding.c
NodeList_ptr Encoding_get_all_model_vars_list( const Encoding_ptr self )
Encoding.c
GroupSet_ptr Encoding_get_bool_input_vars_groups( const Encoding_ptr self )
Encoding_get_bool_state_vars_groups
Encoding.c
NodeList_ptr Encoding_get_bool_input_vars_list( const Encoding_ptr self )
Encoding.c
int Encoding_get_bool_input_vars_num( const Encoding_ptr self )
Encoding.c
GroupSet_ptr Encoding_get_bool_state_vars_groups( const Encoding_ptr self )
Encoding_get_bool_input_vars_groups
Encoding.c
NodeList_ptr Encoding_get_bool_state_vars_list( const Encoding_ptr self )
Encoding.c
int Encoding_get_bool_state_vars_num( const Encoding_ptr self )
Encoding.c
NodeList_ptr Encoding_get_bool_vars_list( const Encoding_ptr self )
Encoding.c
NodeList_ptr Encoding_get_constants_list( const Encoding_ptr self )
Encoding.c
int Encoding_get_constants_num( const Encoding_ptr self )
Encoding.c
node_ptr Encoding_get_define_body( const Encoding_ptr self, node_ptr name )
Encoding.c
node_ptr Encoding_get_define_context( const Encoding_ptr self, node_ptr name )
Encoding.c
node_ptr Encoding_get_define_flatten_body( const Encoding_ptr self, node_ptr name )
Encoding.c
NodeList_ptr Encoding_get_defines_list( const Encoding_ptr self )
Encoding.c
int Encoding_get_defines_num( const Encoding_ptr self )
Encoding.c
NodeList_ptr Encoding_get_input_vars_list( const Encoding_ptr self )
Encoding.c
int Encoding_get_input_vars_num( const Encoding_ptr self )
Encoding.c
NodeList_ptr Encoding_get_model_input_symbols_list( const Encoding_ptr self )
Encoding.c
NodeList_ptr Encoding_get_model_input_vars_list( const Encoding_ptr self )
Encoding.c
int Encoding_get_model_input_vars_num( const Encoding_ptr self )
Encoding.c
NodeList_ptr Encoding_get_model_state_input_symbols_list( const Encoding_ptr self )
Encoding.c
NodeList_ptr Encoding_get_model_state_symbols_list( const Encoding_ptr self )
Encoding.c
node_ptr Encoding_get_scalar_var_of_bit( const Encoding_ptr self, node_ptr name )
Encoding_is_var_bit
Encoding.c
NodeList_ptr Encoding_get_state_vars_list( const Encoding_ptr self )
Encoding.c
int Encoding_get_state_vars_num( const Encoding_ptr self )
Encoding.c
NodeList_ptr Encoding_get_var_encoding_bool_vars( const Encoding_ptr self, node_ptr name )
Encoding.c
node_ptr Encoding_get_var_encoding( const Encoding_ptr self, node_ptr name )
Encoding.c
node_ptr Encoding_get_var_range( const Encoding_ptr self, node_ptr name )
Encoding.c
boolean Encoding_is_constant_defined( const Encoding_ptr self, node_ptr constant )
Encoding.c
boolean Encoding_is_symbol_boolean_var( const Encoding_ptr self, node_ptr name )
Encoding.c
boolean Encoding_is_symbol_constant( const Encoding_ptr self, node_ptr name )
Encoding.c
boolean Encoding_is_symbol_declared( const Encoding_ptr self, node_ptr name )
Encoding.c
boolean Encoding_is_symbol_define( const Encoding_ptr self, node_ptr name )
Encoding.c
boolean Encoding_is_symbol_input_var( const Encoding_ptr self, node_ptr name )
Encoding.c
boolean Encoding_is_symbol_model_input_var( const Encoding_ptr self, node_ptr name )
Encoding.c
boolean Encoding_is_symbol_state_var( const Encoding_ptr self, node_ptr name )
Encoding.c
boolean Encoding_is_symbol_var( const Encoding_ptr self, node_ptr name )
Encoding.c
boolean Encoding_is_var_bit( const Encoding_ptr self, node_ptr name )
Encoding_get_scalar_var_of_bit
Encoding.c
boolean Encoding_list_contains_input_vars( Encoding_ptr self, NodeList_ptr var_list )
Encoding.c
boolean Encoding_list_contains_state_vars( Encoding_ptr self, NodeList_ptr var_list )
Encoding.c
node_ptr Encoding_lookup_symbol( const Encoding_ptr self, node_ptr name )
Encoding.c
void Encoding_pop_status( Encoding_ptr self )
Encoding.c
void Encoding_push_status_and_reset( Encoding_ptr self )
Encoding.c
void Encoding_sort_bool_vars( Encoding_ptr self, const char* input_order_file )
Encoding.c
void GroupSet_add_group( GroupSet_ptr self, NodeList_ptr group )
GroupSet.c
GroupSet_ptr GroupSet_create( )
GroupSet.c
void GroupSet_destroy( GroupSet_ptr self )
GroupSet.c
ListIter_ptr GroupSet_get_first_iter( const GroupSet_ptr self )
GroupSet.c
NodeList_ptr GroupSet_get_group( const GroupSet_ptr self, const ListIter_ptr iter )
GroupSet.c
static void enc_cache_deinit( EncCache_ptr self )
bdd_enc_cache_init
EncCache.c
static void enc_cache_init( EncCache_ptr self )
bdd_enc_cache_deinit
EncCache.c
static void enc_cache_new_symbol( EncCache_ptr self, node_ptr name, node_ptr value )
EncCache.c
static boolean encoding_assign_define_body_to_symbols_lists( Encoding_ptr self, node_ptr name )
Encoding.c
static void encoding_declare_input_var( Encoding_ptr self, node_ptr var, node_ptr range )
Encoding.c
static void encoding_deinit( Encoding_ptr self )
Encoding.c
static node_ptr encoding_encode_scalar_var( Encoding_ptr self, node_ptr name, int suffix, node_ptr range, boolean is_input, NodeList_ptr group )
Encoding.c
static void encoding_init( Encoding_ptr self )
Encoding.c
static void encoding_refill_symbols_lists( Encoding_ptr self )
Encoding.c
static void encoding_set_var_encoding( Encoding_ptr self, node_ptr var, node_ptr encoding )
Encoding.c
static void encoding_traverse_encoding( const Encoding_ptr self, node_ptr tree, NodeList_ptr list )
Encoding.c
static void group_set_deinit( GroupSet_ptr self )
GroupSet.c
static void group_set_init( GroupSet_ptr self )
GroupSet.c