mini_bdd_mgrt::var_table_entryt Struct Reference

#include <miniBDD.h>

Collaboration diagram for mini_bdd_mgrt::var_table_entryt:

Public Member Functions
	var_table_entryt (const std::string &_label)

Public Attributes
std::string	label

Detailed Description

Definition at line 110 of file miniBDD.h.

Constructor & Destructor Documentation

var_table_entryt()

mini_bdd_mgrt::var_table_entryt::var_table_entryt ( const std::string &  _label )

explicit

Member Data Documentation

label

std::string mini_bdd_mgrt::var_table_entryt::label

Definition at line 112 of file miniBDD.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/solvers/bdd/miniBDD/miniBDD.h