cudd


CUDD: how to count the number of nodes and edges of a decision diagram?


I have a pointer to the root node of a CUDD decision diagramm, say
DdNode * root
How can I retrieve the number of nodes and edges composing this decision tree?
You could use Cudd_DagSize() to get the number of nodes.
on cuddUtil.c read the function :
int Cudd_PrintDebug(DdManager * dd,DdNode * f,int n,int pr);
you can get the number of nodes :
Cudd_DagSize(root);
number of leaves :
Cudd_CountLeaves(root);
number of minterms :
Cudd_CountMinterm(dd, root, n);
and more ...

Related Links

In CUDD, how to force a group of variables to stay at the end of the ordering?
CUDD: how to count the number of nodes and edges of a decision diagram?

Categories

HOME
django
turing-machines
dns
github-for-windows
pda
serialization
solaris
interpolation
x264
google-cloud-datalab
jax-ws
pkcs#11
owin
commonjs
heap
ycsb
libc
plink
docx
azure-iot-hub
microsoft-dynamics-nav
sar
flask-sqlalchemy
comparator
gmock
jackson-modules
rpgle
volatile
playstation-portable
hunspell
sessionstorage
verifiable-c
health-monitoring
setup.py
mcustomscrollbar
softmax
print-css
vaadin-charts
facebook-social-plugins
lampp
proget
netbeans6.8
launchctl
rserve
manova
mongotemplate
arq
reindex
er-diagram
cpu-cache
android-instrumentation
materialized-path-pattern
parfor
mapinfo
pre-build-event
cortex-m
false-sharing
exim4
user-management
atan2
vigenere
liquid-layout
pyobjc
git-ftp
cakephp-2.7
dot.js
infosphere-spl
at-job
linkedin-jsapi
human-computer-interface
universal-image-loader
raygun
mintty
malformedurlexception
menubar
square-bracket
drupal-nodes
syndicationfeed
kendo-dataviz
kaleidoscope
jquery-1.9
diem
pagedown
mkv
garbage
landscape-portrait
google-ajax-api
undefined-index
delimited-text
facebook-iframe
scrollbars
feasibility
product-management
great-circle

Resources

Database Users
RDBMS discuss
Database Dev&Adm
javascript
java
csharp
php
android
javascript
java
csharp
php
python
android
jquery
ruby
ios
html
Mobile App
Mobile App
Mobile App