New C++ API: declare-datatype. (#2166)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 23 Jul 2018 19:29:03 +0000 (12:29 -0700)
committerGitHub <noreply@github.com>
Mon, 23 Jul 2018 19:29:03 +0000 (12:29 -0700)
commit35c39b2cdc3905af8ad4739c20971d8b35889582
treed2e6a6c647b3f3404aac7006eaf9497d1161d353
parent416f6d2d55fb24fea63bd13537b24a6a88509344
New C++ API: declare-datatype. (#2166)
examples/api/datatypes-new.cpp
src/api/cvc4cpp.cpp
src/api/cvc4cpp.h