Searched refs:DD_MAX_CACHE_FRACTION (Results 1 – 12 of 12) sorted by relevance
126 DD_MAX_CACHE_FRACTION); in Cudd_Init()
107 #define DD_MAX_CACHE_FRACTION 3 /* 1 / (max fraction of memory used for macro
1678 DD_MAX_CACHE_FRACTION)); in Cudd_SetMaxCacheHard()
154 DD_MAX_CACHE_FRACTION); in Cudd_Init()
163 #define DD_MAX_CACHE_FRACTION 3 /* 1 / (max fraction of memory used for macro
1668 DD_MAX_CACHE_FRACTION)); in Cudd_SetMaxCacheHard()
149 DD_MAX_CACHE_FRACTION); in Cudd_Init()
140 #define DD_MAX_CACHE_FRACTION 3 /* 1 / (max fraction of memory used for macro
1422 DD_MAX_CACHE_FRACTION)); in Cudd_SetMaxCacheHard()