#include "pbori_defs.h"
#include "cudd.h"
#include "cuddInt.h"
#include "pbori_algo.h"
#include "CacheManager.h"
#include "CCuddGetNode.h"
Functions | |
BEGIN_NAMESPACE_PBORI DdNode * | pboriCuddZddUnionXor__ (DdManager *, DdNode *, DdNode *) |
This file includes some compiled routines.
BEGIN_NAMESPACE_PBORI DdNode* pboriCuddZddUnionXor__ | ( | DdManager * | , | |
DdNode * | , | |||
DdNode * | ||||
) |