| /dports/games/supertux2/SuperTux-v0.6.3-Source/src/supertux/menu/ |
| H A D | editor_level_select_menu.cpp | 55 auto num_levels = m_levelset->get_num_levels(); in initialize()
196 if (m_levelset->get_num_levels() > 0) in menu_action()
|
| H A D | editor_delete_level_menu.cpp | 35 for (int i = 0; i < levelset->get_num_levels(); i++) in EditorDeleteLevelMenu()
|
| H A D | contrib_levelset_menu.cpp | 47 for (int i = 0; i < m_levelset->get_num_levels(); ++i) in ContribLevelsetMenu()
|
| H A D | editor_levelset_select_menu.cpp | 97 int level_count = levelset->get_num_levels(); in initialize()
|
| H A D | contrib_menu.cpp | 90 if (levelset->get_num_levels() == 0) in ContribMenu()
|
| /dports/games/supertux2/SuperTux-v0.6.3-Source/src/supertux/ |
| H A D | levelset.hpp | 32 int get_num_levels() const;
|
| H A D | levelset.cpp | 36 Levelset::get_num_levels() const in get_num_levels() function in Levelset
|
| H A D | levelset_screen.cpp | 41 for (int i = 0; i < levelset.get_num_levels(); ++i) in LevelsetScreen()
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/spacer/ |
| H A D | spacer_dl_interface.h | 65 unsigned get_num_levels(func_decl* pred) override;
|
| H A D | spacer_dl_interface.cpp | 297 unsigned dl_interface::get_num_levels(func_decl* pred) in get_num_levels() function in dl_interface
301 return m_context->get_num_levels(pred); in get_num_levels()
|
| H A D | spacer_context.h | 466 unsigned get_num_levels() const {return m_frames.size ();} in get_num_levels() function
1122 unsigned get_num_levels(func_decl* p);
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/ |
| H A D | spacer_dl_interface.h | 65 unsigned get_num_levels(func_decl* pred) override;
|
| H A D | spacer_dl_interface.cpp | 297 unsigned dl_interface::get_num_levels(func_decl* pred) in get_num_levels() function in dl_interface
301 return m_context->get_num_levels(pred); in get_num_levels()
|
| H A D | spacer_context.h | 468 unsigned get_num_levels() const {return m_frames.size ();} in get_num_levels() function
1125 unsigned get_num_levels(func_decl* p);
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/base/ |
| H A D | dl_engine_base.h | 79 virtual unsigned get_num_levels(func_decl* pred) { in get_num_levels() function
|
| H A D | dl_context.h | 408 unsigned get_num_levels(func_decl* pred);
|
| H A D | dl_context.cpp | 547 unsigned context::get_num_levels(func_decl* pred) { in get_num_levels() function in datalog::context
549 return m_engine->get_num_levels(pred); in get_num_levels()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/base/ |
| H A D | dl_engine_base.h | 79 virtual unsigned get_num_levels(func_decl* pred) {
|
| H A D | dl_context.h | 408 unsigned get_num_levels(func_decl* pred);
|
| H A D | dl_context.cpp | 546 unsigned context::get_num_levels(func_decl* pred) { in get_num_levels() function in datalog::context
548 return m_engine->get_num_levels(pred); in get_num_levels()
|
| /dports/math/z3/z3-z3-4.8.13/src/api/ |
| H A D | api_datalog.cpp | 134 unsigned get_num_levels(func_decl* pred) { in get_num_levels() function in api::fixedpoint_context
135 return m_context.get_num_levels(pred); in get_num_levels()
534 return to_fixedpoint_ref(d)->get_num_levels(to_func_decl(pred)); in Z3_fixedpoint_get_num_levels()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/api/ |
| H A D | api_datalog.cpp | 134 unsigned get_num_levels(func_decl* pred) { in get_num_levels() function in api::fixedpoint_context
135 return m_context.get_num_levels(pred); in get_num_levels()
533 return to_fixedpoint_ref(d)->get_num_levels(to_func_decl(pred)); in Z3_fixedpoint_get_num_levels()
|
| /dports/shells/ion/ion-a8872014dbce730ccd00aaa722397dc394a52bf4/cargo-crates/gfx_core-0.8.3/src/ |
| H A D | texture.rs | 295 pub fn get_num_levels(&self) -> Level { in get_num_levels() method
|
| H A D | factory.rs | 440 kind.get_num_levels() in create_texture_immutable_u8()
|
| /dports/math/z3/z3-z3-4.8.13/src/api/julia/ |
| H A D | z3jl.cpp | 429 .MM(fixedpoint, get_num_levels) in define_julia_module()
|