Searched refs:isFPSupported (Results 1 – 3 of 3) sorted by relevance
447 virtual bool isFPSupported() = 0;
271 return Solver->isFPSupported(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
904 bool isFPSupported() override { return true; } in isFPSupported() function in __anona2cc94240111::Z3Solver