-
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 14h:53