Searched defs:getAssumptionsRef (Results 1 – 3 of 3) sorted by relevance
405 const Assumptions& getAssumptionsRef() const { return d_assump; } in getAssumptionsRef() function526 const Assumptions& getAssumptionsRef() const { in getAssumptionsRef() function
385 const Assumptions& Theorem::getAssumptionsRef() const in getAssumptionsRef() function in CVC3::Theorem
365 const Assumptions& getAssumptionsRef() const { in getAssumptionsRef() function