Biddy  1.8.1
An academic Binary Decision Diagrams package
Biddy_Edge Class Reference

Biddy_Edge is a marked edge (i.e. a marked pointer to BiddyNode). More...

#include <biddy.h>

Detailed Description

Mark is encoded as the value of the last significant bit. For TZBDDs and TZFDDs, edges are tagged. Tag is a 16 bit number (unsigned short int) whish is stored in the highest part of the pointer (this is safe because only 48 bits are used). TZBDDs and TZFDDs are supported only on 64-bits architectures. Internal structure of BiddyNode is not visible to the user.

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