enc.h
External header file
encInt.h
Internal header file
enc.c
Package level code of package enc
encCmd.c
The shell interface of the ENC package

enc.h

External header file

By: Roberto Cavada

See Alsoenc.c


encInt.h

Internal header file

By: Roberto Cavada

See Alsoenc.h


enc.c

Package level code of package enc

By: Roberto Cavada

See Alsoenc.h, encInt.h

Enc_init_encodings()
Initializes the encoding package
Enc_add_commands()
Adds commands related to Enc package
Enc_init_bool_encoding()
Initializes the boolean encoding for this session
Enc_init_bdd_encoding()
Initializes the bdd enc for this session
Enc_init_be_encoding()
Initializes the be enc for this session
Enc_quit_encodings()
Call to destroy all encodings, when session ends
Enc_get_bool_encoding()
Enc_get_bdd_encoding()
Enc_get_be_encoding()
Enc_set_bool_encoding()
Set the global boolean encoding
Enc_set_bdd_encoding()
Set the global bdd encoding
Enc_set_be_encoding()
Set the global be encoding
Enc_append_bit_to_sorted_list()
Given a boolean variable or a bit the function inserts it into the sorted list at proper position
Enc_vars_ord_to_string()
Returns the string corresponding to give parameter
Enc_string_to_vars_ord()
Converts a string to the corresponding var order type.
Enc_get_valid_vars_ord_types()
Returns a string of all possible values for vars_ord_type
Enc_bdd_static_order_heuristics_to_string()
Returns the string corresponding to give parameter
Enc_string_to_bdd_static_order_heuristics()
Converts a string to the corresponding BDD Static Order Heuristics.
Enc_get_valid_bdd_static_order_heuristics()
Returns a string of all possible values for bdd_static_order_heuristics
enc_construct_bdd_order_statically()
The function is trying to construct a BDD var order using heuristics by analyzing the flattened model

encCmd.c

The shell interface of the ENC package

By: Andrei Tchaltsev

Shell interface of the ENC package.

CommandCleanBddCache()
Implements the cleaning BDD cache
CommandPrintFormula()
Prints a formula in canonical format.

Last updated on 2011/04/06 21h:13