void BddEncCache_clean_evaluation_about( BddEncCache_ptr self, NodeList_ptr symbs )
BddEncCache.c
BddEncCache_ptr BddEncCache_create( SymbTable_ptr symb_table, DdManager* dd )
BddEncCache.c
void BddEncCache_destroy( BddEncCache_ptr self )
BddEncCache.c
AddArray_ptr BddEncCache_get_evaluation( BddEncCache_ptr self, node_ptr name )
BddEncCache.c
boolean BddEncCache_is_boolean_var_encoded( const BddEncCache_ptr self, node_ptr var_name )
BddEncCache.c
boolean BddEncCache_is_constant_encoded( const BddEncCache_ptr self, node_ptr constant )
BddEncCache.c
add_ptr BddEncCache_lookup_boolean_var( const BddEncCache_ptr self, node_ptr var_name )
BddEncCache.c
add_ptr BddEncCache_lookup_constant( const BddEncCache_ptr self, node_ptr constant )
BddEncCache.c
void BddEncCache_new_boolean_var( BddEncCache_ptr self, node_ptr var_name, add_ptr var_add )
BddEncCache.c
void BddEncCache_new_constant( BddEncCache_ptr self, node_ptr constant, add_ptr constant_add )
BddEncCache.c
void BddEncCache_remove_boolean_var( BddEncCache_ptr self, node_ptr var_name )
BddEncCache.c
void BddEncCache_remove_constant( BddEncCache_ptr self, node_ptr constant )
BddEncCache.c
void BddEncCache_set_evaluation( BddEncCache_ptr self, node_ptr name, AddArray_ptr add_array )
BddEncCache.c
static void bdd_enc_cache_deinit( BddEncCache_ptr self )
bdd_enc_cache_init
BddEncCache.c
static void bdd_enc_cache_init( BddEncCache_ptr self, SymbTable_ptr symb_table, DdManager* dd )
bdd_enc_cache_deinit
BddEncCache.c
static assoc_retval hash_free_add_array( char* key, char* data, char* arg )
BddEncCache.c
static assoc_retval hash_free_add_counted( char* key, char* data, char* arg )
BddEncCache.c
static assoc_retval hash_free_add( char* key, char* data, char* arg )
BddEncCache.c