BddEncCache_clean_evaluation_about()
Cleans those hashed entries that are about a symbol that is being removed
BddEncCache_create()
Class constructor
BddEncCache_destroy()
Class destructor
BddEncCache_get_evaluation()
Retrieve the evaluation of a given symbol, as an array of ADD
BddEncCache_is_boolean_var_encoded()
Returns true whether the given boolean variable has been encoded
BddEncCache_is_constant_encoded()
Returns true whether the given constant has been encoded
BddEncCache_lookup_boolean_var()
Retrieves the add associated with the given boolean variable, if previously encoded.
BddEncCache_lookup_constant()
Returns the ADD corresponding to the given constant, or NULL if not defined
BddEncCache_new_boolean_var()
Call this to insert the encoding for a given boolean variable
BddEncCache_new_constant()
Call to associate given constant to the relative add
BddEncCache_remove_boolean_var()
Removes the given variable from the internal hash
BddEncCache_remove_constant()
Removes the given constant from the internal hash
BddEncCache_set_evaluation()
This method is used during the evaluation, to set the internal cache of already evaluated expressions.
bdd_enc_cache_deinit()
Private deinitializer
bdd_enc_cache_init()
Private initializer
hash_free_add_array()
Private micro function used when destroying caches of adds
hash_free_add_counted()
Private micro function used when destroying caches of adds
hash_free_add()
Private micro function used when destroying caches of adds

Last updated on 2009/01/30 15h:04