Index of types


D
dnf_expression [Bes]
A sum of minterms.
dnf_minterm [Bes]
A minterm with true, false and dont't care values.

E
ext_bool [Bes]
A boolean type with 3 values : true, false and don't care

O
optimization_algorithm [Bes]
The algorithm for the optimization.