CUDD包：ADD,BDD结构创建

最新推荐文章于 2025-01-11 11:42:10 发布

m0_38013741

最新推荐文章于 2025-01-11 11:42:10 发布

阅读量1.9k

点赞数 3

分类专栏：图数据匹配

本文链接：https://blog.youkuaiyun.com/m0_38013741/article/details/115803381

版权

本文深入探讨了CUDD库在构建和管理增广决策图（ADD）和二进制决策图（BDD）结构方面的原理与实践。通过实例解析，详细介绍了如何有效地创建和操作这些数据结构，为符号动力学系统和硬件描述语言等领域的应用提供了关键支持。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

/*
* FILENAME: tutorial.c
* Overview: BDD tutorial
* AUTHOR: vectory
*/

#include <stdio.h>
#include <string.h>
#include <time.h>
#include <math.h>
#include <stdlib.h>
#include "cudd.h"


using namespace std;
/**
 * Print a dd summary
 * pr = 0 : prints nothing
 * pr = 1 : prints counts of nodes and minterms
 * pr = 2 : prints counts + disjoint sum of product
 * pr = 3 : prints counts + list of nodes
 * pr > 3 : prints counts + disjoint sum of product + list of nodes
 * @param the dd node
 */

//打印dd图信息
void print_dd(DdManager* gbm, DdNode* dd, int n, int pr)
{
    printf("DdManager nodes: %ld | ", Cudd_ReadNodeCount(gbm)); /*Reports the number of live nodes in BDDs and ADDs*/
    printf("DdManager vars: %d | ", Cudd_ReadSize(gbm)); /*Returns the number of BDD variables in existence*/
    printf("DdManager reorderings: %d | ", Cudd_ReadReorderings(gbm));

最低0.47元/天解锁文章