Searched refs:mkFloatingPoint (Results 1 – 3 of 3) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/test/unit/api/ |
| H A D | solver_black.h | 354 TS_ASSERT_THROWS_NOTHING(d_solver->mkFloatingPoint(3, 5, t1)); in testMkFloatingPoint()
358 TS_ASSERT_THROWS(d_solver->mkFloatingPoint(3, 5, t1), CVC4ApiException&); in testMkFloatingPoint()
360 TS_ASSERT_THROWS(d_solver->mkFloatingPoint(0, 5, Term()), CVC4ApiException&); in testMkFloatingPoint()
361 TS_ASSERT_THROWS(d_solver->mkFloatingPoint(0, 5, t1), CVC4ApiException&); in testMkFloatingPoint()
362 TS_ASSERT_THROWS(d_solver->mkFloatingPoint(3, 0, t1), CVC4ApiException&); in testMkFloatingPoint()
363 TS_ASSERT_THROWS(d_solver->mkFloatingPoint(3, 5, t2), CVC4ApiException&); in testMkFloatingPoint()
364 TS_ASSERT_THROWS(d_solver->mkFloatingPoint(3, 5, t2), CVC4ApiException&); in testMkFloatingPoint()
|
| /dports/math/cvc4/CVC4-1.7/src/api/ |
| H A D | cvc4cpp.h | 2162 Term mkFloatingPoint(uint32_t exp, uint32_t sig, Term val) const;
|
| H A D | cvc4cpp.cpp | 2375 Term Solver::mkFloatingPoint(uint32_t exp, uint32_t sig, Term val) const in mkFloatingPoint() function in CVC4::api::Solver
|