Searched refs:MAX_KEPT (Results 1 – 4 of 4) sorted by relevance
159 const int MAX_KEPT = 20; in findPath() local181 int lenBuffer[MAX_KEPT]; in findPath()182 double scoreBuffer[MAX_KEPT]; in findPath()185 for ( i = 0; i < MAX_KEPT; i++ ) { in findPath()402 *bufferSize = ( *bufferSize < MAX_KEPT ) ? (*bufferSize)+1 : MAX_KEPT; in findPath()411 if ( bufferIndex == 0 && (*bufferSize) == MAX_KEPT ) { in findPath()412 if ( pathBuffer[MAX_KEPT-1] ) in findPath()413 free(pathBuffer[MAX_KEPT-1]); in findPath()414 pathBuffer[MAX_KEPT-1] = pathCopy; in findPath()415 scoreBuffer[MAX_KEPT-1] = bestPathScore; in findPath()[all …]
197 MAX_KEPT, /* stop search after this many kept clauses */ enumerator
451 Parms[MAX_KEPT].name = "max_kept"; in init_options()452 Parms[MAX_KEPT].val = -1; in init_options()453 Parms[MAX_KEPT].min = -1; in init_options()454 Parms[MAX_KEPT].max = MAX_INT; in init_options()
1838 max_kept = Parms[MAX_KEPT].val; in check_stop()