在linux系统下,安装了eclipse3.8,用来编写C++代码,并安装build-essential,


#include "/home/hadoop/cudd-2.4.2/include/cudd.h"

导入的该目录“include”下全是通过系统包自带的makefile文件生成的快捷方式


编写程序没有报错,没有格式或是语法报错,


#include <iostream>
#include "/home/hadoop/cudd-2.4.2/include/cudd.h"
using namespace std;

DdManager *manager;



int main() {

	DdNode *f, *var, *tmp;
	short numVars = 0; // num of vars; if unknown set to 0
	short numVarsZ = 0; // num of vars for ZBDDs; if unknown set to 0
	int numSlots = CUDD_UNIQUE_SLOTS; // default for CUDD package
	int cacheSize = CUDD_CACHE_SLOTS; // default for CUDD package
	int maxCacheSize = 10485760 * 2; // ditto

	manager = Cudd_Init(numVars, numVarsZ, numSlots, cacheSize, maxCacheSize);
	int i;
	f = Cudd_ReadOne(manager);
	Cudd_Ref(f);
	for (i = 1; i >= 0; i--) {
		var = Cudd_bddIthVar(manager, i);
		tmp = Cudd_bddAnd(manager, Cudd_Not(var), f);
		Cudd_Ref(tmp);
		Cudd_RecursiveDeref(manager, f);
		f = tmp;
	}
}


但是编译,老是提示未定义***调用


这些方法在cudd.h文件里面是用extend方式声明,并没有给出具体的定义和实现,具体的方法都在其他目录里面,


已经弄了好久,还是没能编译通过,求帮助