Home
last modified time | relevance | path

Searched refs:declareDatatype (Results 1 – 5 of 5) sorted by relevance

/dports/math/cvc4/CVC4-1.7/test/unit/api/
H A Dsolver_black.h763 TS_ASSERT_THROWS_NOTHING(d_solver->declareDatatype(std::string("a"), ctors1)); in testDeclareDatatype()
764 TS_ASSERT_THROWS_NOTHING(d_solver->declareDatatype(std::string("b"), ctors2)); in testDeclareDatatype()
765 TS_ASSERT_THROWS_NOTHING(d_solver->declareDatatype(std::string(""), ctors2)); in testDeclareDatatype()
766 TS_ASSERT_THROWS(d_solver->declareDatatype(std::string("c"), ctors3), in testDeclareDatatype()
768 TS_ASSERT_THROWS(d_solver->declareDatatype(std::string(""), ctors3), in testDeclareDatatype()
/dports/math/cvc4/CVC4-1.7/examples/api/
H A Ddatatypes-new.cpp174 Sort consListSort2 = slv.declareDatatype("list2", ctors); in main()
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/simple-smt-0.9.6/
H A DSimpleSMT.hs37 , declareDatatype
421 declareDatatype ::
427 declareDatatype proc t [] cs = function
433 declareDatatype proc t ps cs = function
/dports/math/cvc4/CVC4-1.7/src/api/
H A Dcvc4cpp.h2266 Sort declareDatatype(const std::string& symbol,
H A Dcvc4cpp.cpp2963 Sort Solver::declareDatatype( in declareDatatype() function in CVC4::api::Solver