Searched refs:defineFunsRec (Results 1 – 4 of 4) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/test/unit/api/ |
| H A D | solver_black.h | 879 d_solver->defineFunsRec({f1, f2}, {{b1, b11}, {b4}}, {v1, v2})); in testDefineFunsRec()
881 d_solver->defineFunsRec({f1, f3}, {{b1, b11}, {b4}}, {v1, v2}), in testDefineFunsRec()
883 TS_ASSERT_THROWS(d_solver->defineFunsRec({f1, f2}, {{b1}, {b4}}, {v1, v2}), in testDefineFunsRec()
886 d_solver->defineFunsRec({f1, f2}, {{b1, b2}, {b4}}, {v1, v2}), in testDefineFunsRec()
889 d_solver->defineFunsRec({f1, f2}, {{b1, b11}, {b4}}, {v1, v4}), in testDefineFunsRec()
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/simple-smt-0.9.6/ |
| H A D | SimpleSMT.hs | 41 , defineFunsRec
484 defineFunsRec :: Solver ->
487 defineFunsRec proc ds = ackCommand proc $ fun "define-funs-rec" [ decls, bodies ] function
|
| /dports/math/cvc4/CVC4-1.7/src/api/ |
| H A D | cvc4cpp.h | 2352 void defineFunsRec(const std::vector<Term>& funs,
|
| H A D | cvc4cpp.cpp | 3169 void Solver::defineFunsRec(const std::vector<Term>& funs, in defineFunsRec() function in CVC4::api::Solver
|