Home
last modified time | relevance | path

Searched refs:arg_is_declared (Results 1 – 6 of 6) sorted by relevance

/dports/math/geogram/geogram-1.7.7/src/lib/geogram/bibliography/
H A Dbibliography.cpp94 CmdLine::arg_is_declared("biblio") && in terminate()
211 CmdLine::arg_is_declared("biblio") && in cite()
/dports/math/geogram/geogram-1.7.7/src/lib/geogram/basic/
H A Dcommon.cpp168 CmdLine::arg_is_declared("sys:stats") && in terminate()
H A Dcommand_line.cpp284 if(CmdLine::arg_is_declared(argname)) { in parse_config_file()
601 if(arg_is_declared("profile")) { in parse()
691 CmdLine::arg_is_declared("nl:CUDA") && in parse()
771 bool arg_is_declared(const std::string& name) { in arg_is_declared() function
H A Dcommand_line.h226 bool GEOGRAM_API arg_is_declared(const std::string& name);
/dports/math/geogram/geogram-1.7.7/src/lib/geogram_gfx/gui/
H A Dapplication.cpp187 if(CmdLine::arg_is_declared("gui:font_size")) { in start()
261 if(CmdLine::arg_is_declared("gui:font_size")) { in set_font_size()
414 CmdLine::arg_is_declared("gui:viewports") && in ImGui_initialize()
423 CmdLine::arg_is_declared("gui:keyboard_nav") && in ImGui_initialize()
824 if(CmdLine::arg_is_declared("gui:font_size")) { in one_frame()
H A Dapplication.cpp.000187 if(CmdLine::arg_is_declared("gui:font_size")) {
261 if(CmdLine::arg_is_declared("gui:font_size")) {
813 if(CmdLine::arg_is_declared("gui:font_size")) {