From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Mon Sep 27 2004 - 11:22:49 MDT
No, it isn't straightforward. For performance reasons, CUDD assumes
that a DdNode is aligned to a 16-byte (32-byte) boundary on a 32-bit
(64-bit) machine. The alignment allows CUDD to make use of the low
order bits of addresses. This is turn is used to make a computed
table entry also fit within 16 bytes (on a 32-bit machine).
Fabio
>>>>> "lg" == luca gambardella <espuma_party_at_yahoo.it> writes:
lg> I'm trying to increase DdNode structure by introducing a "double"
lg> field, but I've got some Segmentation Fault problems regarding
lg> with a node allocation. It's straight forward to change Ddnode
lg> structure?
lg> Thanks in advance
lg> Luca
This archive was generated by hypermail 2.1.7 : Mon Sep 27 2004 - 11:26:20 MDT