Searched defs:setActiveDescLevel (Results 1 – 2 of 2) sorted by relevance
| /dports/math/clingo/clingo-5.5.1/clasp/libpotassco/src/ | ||
| H A D | program_options.cpp | 320 void OptionContext::setActiveDescLevel(DescriptionLevel x) { in setActiveDescLevel() function in Potassco::ProgramOptions::OptionContext |
| /dports/math/clasp/clasp-3.3.5/libpotassco/src/ | ||
| H A D | program_options.cpp | 320 void OptionContext::setActiveDescLevel(DescriptionLevel x) { in setActiveDescLevel() function in Potassco::ProgramOptions::OptionContext |