---

binary_dd_code Struct Reference

#include <dddmpInt.h>

List of all members.

Public Attributes
unsigned	Unused: 1
unsigned	V: 2
unsigned	T: 2
unsigned	Ecompl: 1
unsigned	E: 2

---

Detailed Description

Struct********************************************************************** Synopsis [used in binary mode to store code info of a dd node] Description [V , T , E store the mode used to represent variable, Then and Else indexes. An index is either an absolute ( DDDMP_ABSOLUTE_ID ), a relative numbers ( DDDMP_RELATIVE_ID , DDDMP_RELATIVE_1 ) or a terminal node ( DDDMP_TERMINAL ) . Ecomp is used for the complemented edge attribute. ] SideEffect [none] SeeAlso [DddmpWriteCode DddmpReadCode]

Definition at line 59 of file dddmpInt.h.

---

Member Data Documentation

unsigned binary_dd_code::E

Definition at line 64 of file dddmpInt.h.

unsigned binary_dd_code::Ecompl

Definition at line 63 of file dddmpInt.h.

unsigned binary_dd_code::T

Definition at line 62 of file dddmpInt.h.

unsigned binary_dd_code::Unused

Definition at line 60 of file dddmpInt.h.

unsigned binary_dd_code::V

Definition at line 61 of file dddmpInt.h.

---

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

• dddmpInt.h

---