Searched defs:skip_levels (Results 1 – 7 of 7) sorted by relevance
| /dports/math/spot/spot-2.10.2/spot/twaalgos/ |
| H A D | degen.cc | 330 bool skip_levels, bool ignaccsl, in degeneralize_aux()
723 int use_lvl_cache, bool skip_levels, bool ignaccsl, in degeneralize()
739 int use_lvl_cache, bool skip_levels, bool ignaccsl, in degeneralize_tba()
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
| H A D | degen.cc | 330 bool skip_levels, bool ignaccsl, in degeneralize_aux()
723 int use_lvl_cache, bool skip_levels, bool ignaccsl, in degeneralize()
739 int use_lvl_cache, bool skip_levels, bool ignaccsl, in degeneralize_tba()
|
| /dports/shells/fish/fish-3.3.1/src/ |
| H A D | common.cpp | 194 [[gnu::noinline]] static wcstring_list_t demangled_backtrace(int max_frames, int skip_levels) { in demangled_backtrace()
226 [[gnu::noinline]] void show_stackframe(const wchar_t msg_level, int frame_count, int skip_levels) { in show_stackframe()
|
| /dports/games/rnd_jue/rnd_jue-3.3.0.0/src/libgame/ |
| H A D | system.h | 893 boolean skip_levels; member
973 boolean skip_levels; /* levels can be skipped when set to "true" */ member
|
| /dports/games/rnd_jue/rocksndiamonds-3.3.1.0/src/libgame/ |
| H A D | system.h | 927 boolean skip_levels; member
1008 boolean skip_levels; /* levels can be skipped when set to "true" */ member
|
| /dports/games/rocksndiamonds/rnd_jue-3.3.0.0/src/libgame/ |
| H A D | system.h | 893 boolean skip_levels; member
973 boolean skip_levels; /* levels can be skipped when set to "true" */ member
|
| /dports/games/rocksndiamonds/rocksndiamonds-3.3.1.2/src/libgame/ |
| H A D | system.h | 930 boolean skip_levels; member
1015 boolean skip_levels; /* levels can be skipped when set to "true" */ member
|