Searched refs:owl_reading_depth (Results 1 – 6 of 6) sorted by relevance
54 int owl_reading_depth; /* owl does not read below this depth */ variable
777 owl_reading_depth = gg_max(5, (2 * OWL_READING_DEPTH + depth_level) / 2); in set_depth_values()855 owl_reading_depth = mandated_owl_reading_depth; in set_depth_values()888 owl_reading_depth, aa_depth, ko_depth, fourlib_depth, in set_depth_values()
736 extern int owl_reading_depth; /* owl does not read below this depth */
1883 if (stackp > owl_reading_depth) { in reading_limit_reached()
100 If @code{stackp > owl_reading_depth} then the reading terminates,
1715 owl_reading_depth, owl_node_limit, semeai_node_limit); in show_debug_help()