Home
last modified time | relevance | path

Searched refs:mkSepNil (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/test/unit/api/
H A Dsolver_black.h530 TS_ASSERT_THROWS_NOTHING(d_solver->mkSepNil(d_solver->getBooleanSort())); in testMkSepNil()
531 TS_ASSERT_THROWS(d_solver->mkSepNil(Sort()), CVC4ApiException&); in testMkSepNil()
/dports/math/cvc4/CVC4-1.7/src/api/
H A Dcvc4cpp.h1992 Term mkSepNil(Sort sort) const;
H A Dcvc4cpp.cpp2152 Term Solver::mkSepNil(Sort sort) const in mkSepNil() function in CVC4::api::Solver
/dports/math/cvc4/CVC4-1.7/src/parser/smt2/
H A DSmt2.g2365 atomTerm = SOLVER->mkSepNil(SOLVER->getBooleanSort());