changing DdNode structure

From: luca gambardella (espuma_party_at_yahoo.it)
Date: Mon Sep 27 2004 - 10:12:51 MDT


I'm trying to increase DdNode structure by introducing a "double" field, but I've got some Segmentation Fault problems regarding with a node allocation. It's straight forward to change Ddnode structure?
Thanks in advance
 
Luca

                                
---------------------------------
Scopri Mister Yahoo! - il fantatorneo sul calcio di Yahoo! Sport'



This archive was generated by hypermail 2.1.7 : Mon Sep 27 2004 - 10:18:47 MDT