Searched refs:decreaseVerbosity (Results 1 – 7 of 7) sorted by relevance
92 handler = "decreaseVerbosity"
225 void decreaseVerbosity(std::string option);
2131 void OptionsHandler::decreaseVerbosity(std::string option) { in decreaseVerbosity() function in CVC4::options::OptionsHandler
320 int decreaseVerbosity();
1086 o.decreaseVerbosity(); in parseArguments()1088 o.decreaseVerbosity(); in parseArguments()1093 o.decreaseVerbosity(); in parseArguments()
513 int NpingOps::decreaseVerbosity(){ in decreaseVerbosity() function in NpingOps
1062 def decreaseVerbosity(self): member in GLConfig