Searched refs:allowPartialModel (Results 1 – 4 of 4) sorted by relevance
83 virtual bool allowPartialModel() { return false; } in allowPartialModel() function
124 bool allowPartialModel() override;
435 bool SygusPbe::allowPartialModel() { return !options::sygusPbeMultiFair(); } in allowPartialModel() function in CVC4::theory::quantifiers::SygusPbe
372 if (!d_master->allowPartialModel() && !fullModel) in doCheck()