Searched refs:setBoolParam (Results 1 – 3 of 3) sorted by relevance
452 virtual void setBoolParam(StringRef Key, bool Value) = 0;
38 Solver->setBoolParam("model", true); // Enable model finding in REGISTER_TRAIT_WITH_PROGRAMSTATE()
918 void setBoolParam(StringRef Key, bool Value) override { in setBoolParam() function in __anon8d603abe0111::Z3Solver