BddEnc.c
Implementaion of class 'BddEnc'
BddEncCache.c
The BddEncCache class implementation. This class is intended to be used exclusively by the class BddEnc.

BddEnc.c

Implementaion of class 'BddEnc'

By: Roberto Cavada

See AlsoBddEnc.h


BddEncCache.c

The BddEncCache class implementation. This class is intended to be used exclusively by the class BddEnc.

By: Roberto Cavada

See AlsoBddEncCache.h

BddEncCache_create()
Class constructor
BddEncCache_destroy()
Class destructor
BddEncCache_new_constant()
Call to associate given constant to the relative add
BddEncCache_remove_constant()
Removes the given constant from the internal hash
BddEncCache_is_constant_encoded()
Returns true whether the given constant has been 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_remove_boolean_var()
Removes the given variable from the internal hash
BddEncCache_is_boolean_var_encoded()
Returns true whether the given boolean variable has been encoded
BddEncCache_lookup_boolean_var()
Retrieves the add associated with the given boolean variable, if previously encoded.
BddEncCache_set_evaluation()
This method is used during the evaluation, to set the internal cache of already evaluated expressions.
BddEncCache_get_evaluation()
Retrieve the evaluation of a given symbol, as an array of ADD
BddEncCache_clean_evaluation_about()
Cleans those hashed entries that are about a symbol that is being removed
bdd_enc_cache_init()
Private initializer
bdd_enc_cache_deinit()
Private deinitializer
hash_free_add()
Private micro function used when destroying caches of adds
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

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