ClassProject::Manager::Node Struct Reference

#include <Manager.h>

Public Attributes
BDD_ID	TopVar
BDD_ID	low
BDD_ID	high
std::string	label

Member Data Documentation

high

BDD_ID ClassProject::Manager::Node::high

label

std::string ClassProject::Manager::Node::label

low

BDD_ID ClassProject::Manager::Node::low

TopVar

BDD_ID ClassProject::Manager::Node::TopVar

---

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

• src/Manager.h