CBMC
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: