Biddy  2.0.1
An academic Binary Decision Diagrams package
Biddy_Manager Class Reference

Biddy_Manager is used to specify manager. More...

#include <biddy.h>

Detailed Description

Manager is a pointer to BiddyManager. A manager includes Node Table, Variable Table, Formulae Table, Ordering Table, three basic caches (ITE Cache, EA Cache and RC Cache), list of user's caches, system age and some other structures needed for memory management. Internal structure of BiddyManager is not exported but must be imitated to create user's managers

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