Searched refs:DEFAULT_LENGTHTABLE_NAME (Results 1 – 2 of 2) sorted by relevance
62 static const char *const DEFAULT_LENGTHTABLE_NAME = "lengthtable"; variable468 _lengthtable_name (DEFAULT_LENGTHTABLE_NAME), in Options()649 if (_lengthtable_name == DEFAULT_LENGTHTABLE_NAME) in set_lengthtable_name()
164 * src/options.cc (DEFAULT_LENGTHTABLE_NAME): New constant.