Searched defs:checkValidAssuming (Results 1 – 1 of 1) sorted by relevance
2877 Result Solver::checkValidAssuming(Term assumption) const in checkValidAssuming() function in CVC4::api::Solver2885 Result Solver::checkValidAssuming(const std::vector<Term>& assumptions) const in checkValidAssuming() function in CVC4::api::Solver