/* definitions.h 9/11/94 * 9/1/98 change type of generator from char to `gen' * This file contains definitions of external variables used in all programs
*/ int kbm_store_ptrs = 0; /* This is incremented every time malloc is called * and decremented every time free is called. * It should be zero whenever exit(0) is called (although this * is not normally checked). * It will not usually be 0 when exit(1) (error condition) is called.
*/ int kbm_print_level = 1; /* kbm_print_level = 0 - no printing to stdout * kbm_print_level = 1 - progress reports printed (default) * kbm_print_level = 2 - diagnostic output.
*/ char kbm_buffer[1024]; /* Used to store words, lines, etc. when reading and printing */ int kbm_algno; int kbm_gen_no[65536]; /* changed 9/1/98 */ /* To help fast reading of large sets of words, two specials formats * for monoid generators are recognised: * a) single letter characters (usually 'A' will be inverse of 'a', etc.) * b) names of form <prefix><posint>, for a fixed prefix, where posint should * be at most MAXGEN. * In case a), the variable kbm_algno is set equal to 0, and the array * kbm_gen_no is used to translate from rws.gen_name back to the gneerator * number. * In case b), kbm_algno is set equal to the length of <prefix> (which must * be strictly positive), and kbm_gen_no is defined on the <posint> suffixes * to get the generator number back from the name. * If neither case a) nor case b) applies then kbm_algno is set equal to -1, * and names are located in the list by a straightforward linear search - of * course this will be considerably slower for long lists of words.
*/
boolean kbm_large = FALSE;
boolean kbm_huge = FALSE; /* Means the problem is believed to be large/huge in some sense - the * initial size of the hash-tables are made larger.
*/
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
