Searched refs:declareDatatype (Results 1 – 5 of 5) sorted by relevance
/dports/math/cvc4/CVC4-1.7/test/unit/api/ |
H A D | solver_black.h | 763 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 D | datatypes-new.cpp | 174 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 D | SimpleSMT.hs | 37 , 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 D | cvc4cpp.h | 2266 Sort declareDatatype(const std::string& symbol,
|
H A D | cvc4cpp.cpp | 2963 Sort Solver::declareDatatype( in declareDatatype() function in CVC4::api::Solver
|