Low level access to the structure of the BDD, read-only.
More...
#include <bdd_cudd.h>
|
using | indext = unsigned int |
| Type of indexes of Boolean variables.
|
using | idt = DdNode * |
| Return type for id()
|
using | indext = std::size_t |
| Type of indexes of Boolean variables.
|
using | idt = mini_bdd_nodet * |
| Return type for id()
|
Low level access to the structure of the BDD, read-only.
Definition at line 27 of file bdd_cudd.h.
◆ idt [1/2]
◆ idt [2/2]
◆ indext [1/2]
Type of indexes of Boolean variables.
Definition at line 41 of file bdd_cudd.h.
◆ indext [2/2]
Type of indexes of Boolean variables.
Definition at line 43 of file bdd_miniBDD.h.
◆ bdd_nodet() [1/2]
bdd_nodet::bdd_nodet |
( |
DdNode * | node | ) |
|
|
inlineexplicitprivate |
◆ bdd_nodet() [2/2]
bdd_nodet::bdd_nodet |
( |
mini_bdd_nodet * | node, |
|
|
const std::unordered_map< std::size_t, std::size_t > & | bdd_var_to_index ) |
|
inlineexplicitprivate |
◆ else_branch() [1/2]
◆ else_branch() [2/2]
◆ id() [1/2]
idt bdd_nodet::id |
( |
| ) |
const |
|
inline |
Unique identifier of the node.
Definition at line 63 of file bdd_cudd.h.
◆ id() [2/2]
idt bdd_nodet::id |
( |
| ) |
const |
|
inline |
Unique identifier of the node.
Definition at line 65 of file bdd_miniBDD.h.
◆ index() [1/2]
indext bdd_nodet::index |
( |
| ) |
const |
|
inline |
Label on the node, corresponds to the index of a Boolean variable.
Definition at line 44 of file bdd_cudd.h.
◆ index() [2/2]
indext bdd_nodet::index |
( |
| ) |
const |
|
inline |
Label on the node, corresponds to the index of a Boolean variable.
Definition at line 46 of file bdd_miniBDD.h.
◆ is_complement() [1/2]
bool bdd_nodet::is_complement |
( |
| ) |
const |
|
inline |
◆ is_complement() [2/2]
bool bdd_nodet::is_complement |
( |
| ) |
const |
|
inline |
◆ is_constant() [1/2]
bool bdd_nodet::is_constant |
( |
| ) |
const |
|
inline |
◆ is_constant() [2/2]
bool bdd_nodet::is_constant |
( |
| ) |
const |
|
inline |
is_constant has to be true for true and false and to distinguish between the two, is_complement has to be true for the constant false.
Definition at line 32 of file bdd_miniBDD.h.
◆ then_branch() [1/2]
◆ then_branch() [2/2]
◆ bdd_managert
◆ bdd_var_to_index
const std::unordered_map<std::size_t, std::size_t>& bdd_nodet::bdd_var_to_index |
|
private |
◆ node [1/2]
◆ node [2/2]
The documentation for this class was generated from the following files: