-
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/03/04 13h:34