Index of values


A
auto_optimize [Bes]
Optimizes the given expression with the suitable algoirthm.

D
dnf_expression_of_string [Bes]
Converts the given string, separated by the given separator to a dnf expression.
dnf_expression_of_string_list [Bes]
Converts the given string list to a dnf expression.
dnf_minterm_of_string [Bes]
Converts the given string to a minterm.

L
load_from_file [Bes]
Loads a dnf expression from file with the given name.

O
optimize [Bes]
Optimizes the given expression with the specified algorithm.

P
print_dnf_expression [Bes]
Prints a dnf expression to the standard output.
print_dnf_minterm [Bes]
Prints a minterm of a dnf expression to the standard output.

S
set_result_verification [Bes]
Sets whether the optimization results should be verfied.
set_verbose_mode [Bes]
Turns on or off the output of debug messages.
string_of_dnf_expression [Bes]
Converts a dnf expression to a string.
string_of_dnf_minterm [Bes]
Converts a minterm of a dnf expression to a string.