Searched refs:nSignCur (Results 1 – 3 of 3) sorted by relevance
109 dd->nSignCur = 1; in Cloud_Init()110 dd->tUnique[0].s = dd->nSignCur; in Cloud_Init()169 assert( dd->one->s == dd->nSignCur ); in Cloud_Restart()170 dd->nSignCur++; in Cloud_Restart()299 while ( entryUnique->s == dd->nSignCur ) in cloudMakeNode()324 entryUnique->s = dd->nSignCur; in cloudMakeNode()373 r = cloudCacheLookup2( cacheEntry, dd->nSignCur, f, g ); in cloudBddAnd()455 cloudCacheInsert2( cacheEntry, dd->nSignCur, f, g, r ); in cloudBddAnd()960 printf( "The current signature = %12d.\n", dd->nSignCur ); in Cloud_PrintInfo()
105 CloudSign nSignCur; member
194 dd->ppNodes[i]->s = dd->nSignCur; in Kit_CreateCloud()