Searched refs:verbosity_ (Results 1 – 4 of 4) sorted by relevance
66 verbosity_ = verbosity; in SetVerbosity()133 int verbosity_; variable
37 if (priority > verbosity_) { in VLogF()86 : verbosity_(20), in Logger()
83 int verbosity() const { return verbosity_; } in verbosity()165 int verbosity_; // How much to print. variable
677 verbosity_ = 8; in Sat()678 Logger::GlobalLogger()->SetVerbosity(verbosity_); in Sat()852 ARG_IVALUE("-v", verbosity_); in ParseArgs()1010 Logger::GlobalLogger()->SetVerbosity(verbosity_); in ParseArgs()