Searched defs:outOfResources (Results 1 – 3 of 3) sorted by relevance
256 bool ResourceManager::outOfResources() const { in outOfResources() function in CVC4::ResourceManager
492 bool outOfResources() { return d_resourceLimit == 1; } in outOfResources() function
84 bool outOfResources() { return d_ss->theoryCore()->outOfResources(); } in outOfResources() function in CVC3::SearchSatTheoryAPI