Searched defs:DdManager (Results 1 – 14 of 14) sorted by last modified time
112 typedef PBORI_PREFIX(DdManager) DdManager; typedef
25 pboriCuddZddUnionXor__(DdManager *, DdNode *, DdNode *){ return NULL; } // LCOV_EXCL_LINE in pboriCuddZddUnionXor__() argument
348 struct PBORI_PREFIX(DdManager) { /* specialized DD symbol table */ in PBORI_PREFIX() argument
33 typedef PBORI_PREFIX(DdManager) DdManager; typedef
262 #define DdManager pbori_DdManager macro
293 typedef struct DdManager DdManager; typedef
345 DdNode *one; /* constant 1 */346 DdNode *zero; /* constant 0 */347 DdNode *plusinfinity; /* plus infinity */362 int sizeZ; /* for ZDD */364 int maxSizeZ; /* for ZDD */366 DdSubtable *subtableZ; /* for ZDD */387 int *permZ; /* for ZDD */389 int *invpermZ; /* for ZDD */482 network_t *network;487 DdNode * bFunc;[all …]
399 struct DdManager { struct402 DdNode *one; /**< constant 1 */403 DdNode *zero; /**< constant 0 */419 int sizeZ; /**< for %ZDD */421 int maxSizeZ; /**< for %ZDD */423 DdSubtable *subtableZ; /**< for %ZDD */432 int gcEnabled; /**< gc is enabled */442 int *permZ; /**< for %ZDD */444 int *invpermZ; /**< for %ZDD */456 char *stash; /**< memory reserve */[all …]
204 typedef struct DdManager DdManager; typedef