Home
last modified time | relevance | path

Searched refs:lengthAtLevel (Results 1 – 3 of 3) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/
H A Dcompcrep.c64 tHatWord[m].invWord[tHatWord[m].lengthAtLevel[d-1]] = NULL; \
66 tHatWord[m].lengthAtLevel[d-1]; \
245 … tHatWord[m].lengthAtLevel = (UnsignedS *) malloc( (options.maxBaseSize+2) * sizeof(Unsigned *) ); in computeCosetRep()
248 if ( !tHatWord[m].lengthAtLevel || !beginRevWord[m] || !tHatWord[m].invWord ) in computeCosetRep()
253 tHatWord[m].lengthAtLevel[i] = 0; in computeCosetRep()
424 tHatWord[m].lengthAtLevel[d] = tHatWord[m].lengthAtLevel[d-1]; in computeCosetRep()
426 tHatWord[m].lengthAtLevel[0] = 0; in computeCosetRep()
427 while ( tHatWord[m].invWord[tHatWord[m].lengthAtLevel[d]] ) in computeCosetRep()
428 ++tHatWord[m].lengthAtLevel[d]; in computeCosetRep()
H A Dcompsg.c82 tHatWord[m].invWord[tHatWord[m].lengthAtLevel[d-1]] = NULL; \
84 tHatWord[m].lengthAtLevel[d-1]; \
267 … tHatWord[m].lengthAtLevel = (UnsignedS *) malloc( (options.maxBaseSize+2) * sizeof(Unsigned *) ); in computeSubgroup()
270 if ( ! tHatWord[m].lengthAtLevel || !beginRevWord[m] || !tHatWord[m].invWord ) in computeSubgroup()
275 tHatWord[m].lengthAtLevel[i] = 0; in computeSubgroup()
523 tHatWord[m].lengthAtLevel[d] = tHatWord[m].lengthAtLevel[d-1]; in computeSubgroup()
525 tHatWord[m].lengthAtLevel[0] = 0; in computeSubgroup()
526 while ( tHatWord[m].invWord[tHatWord[m].lengthAtLevel[d]] ) in computeSubgroup()
527 ++tHatWord[m].lengthAtLevel[d]; in computeSubgroup()
H A Dgroup.h467 UnsignedS *lengthAtLevel; /* alloc (MAX_BASE_SIZE+2) * sizeof(UnsignedS) */ member