#include <miniBDD.h>
Definition at line 110 of file miniBDD.h.
◆ var_table_entryt()
mini_bdd_mgrt::var_table_entryt::var_table_entryt |
( |
const std::string & |
_label | ) |
|
|
explicit |
◆ label
std::string mini_bdd_mgrt::var_table_entryt::label |
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/solvers/bdd/miniBDD/miniBDD.h