summaryrefslogtreecommitdiff
path: root/examples/api/strings.cpp
AgeCommit message (Collapse)Author
2020-06-23New C++ API: Remove examples for old API. (#4650)Aina Niemetz
This removes obsolete examples for the old API in preparation of making the old API private. Examples for the new API are renamed from *-new.cpp to *.cpp.
2020-06-16Update copyright headers.Aina Niemetz
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2015-12-18Modifying emptyset.h and sexpr. Adding SetLanguage.Tim King
- Modifies expr/emptyset.h to use SetType only as an incomplete type within expr/emptyset.h. This breaks the include cycle between expr/emptyset.h, expr/expr.h and expr/type.h. - Refactors SExpr to avoid a potentially infinite cycle. This is likely overkill, but it works. - Moving Expr::setlanguage and related utilities out of the Expr class and into their own file. This allows files in util/ to know the output language set on an ostream.
2015-04-23A few more minor updates to match google repository with CVC4 repositoryClark Barrett
(mostly whitespace differences).
2014-12-06Added C++/Java api examples;Tianyi Liang
Converted cset to be vector of char, instead of vector of int, since we only accept ascii in input.
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback