cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Structures | Macros | Typedefs
mtrInt.h File Reference

Internal data structures of the mtr package. More...

#include "config.h"
#include "mtr.h"
Include dependency graph for mtrInt.h:

Go to the source code of this file.

Data Structures

struct  MtrNode_
 multi-way tree node. More...
 

Macros

#define MTR_INLINE
 
#define MTR_UNUSED
 
#define MTR_MAXHIGH   (((MtrHalfWord) ~0) >> 1)
 
#define MTR_SET(node, flag)   (node->flags |= (flag))
 
#define MTR_RESET(node, flag)   (node->flags &= ~ (flag))
 
#define MTR_TEST(node, flag)   (node->flags & (flag))
 

Typedefs

typedef uint32_t MtrHalfWord
 unsigned integer half the size of a pointer.
 

Detailed Description

Internal data structures of the mtr package.

Author
Fabio Somenzi