ClassProject::Manager::Unique_Table_Key Struct Reference

Unique_Table_Key Defines a structure to be used as a key in the hash map. More...

#include <Manager.h>

Public Member Functions
bool	operator== (const Unique_Table_Key &other) const

Public Attributes
BDD_ID	TopVar
BDD_ID	low
BDD_ID	high

Detailed Description

Unique_Table_Key Defines a structure to be used as a key in the hash map.

Member Function Documentation

operator==()

bool ClassProject::Manager::Unique_Table_Key::operator== ( const Unique_Table_Key & other ) const

inline

Member Data Documentation

high

BDD_ID ClassProject::Manager::Unique_Table_Key::high

low

BDD_ID ClassProject::Manager::Unique_Table_Key::low

TopVar

BDD_ID ClassProject::Manager::Unique_Table_Key::TopVar

---

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

• src/Manager.h