diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-04-25 18:02:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-25 18:02:57 -0700 |
| commit | 78ae0a579b91af102b48f7ac1db60afc09ccf727 (patch) | |
| tree | 148a067616aa4168047859e331c70f39f0ba91fc /examples/api/sets.cpp | |
| parent | caf32b8e9940e90cd0bfe2e029b4a55c6e601f31 (diff) | |
New C++ API: Clean up API: mkVar vs mkConst vs mkBoundVar. (#2977)
This cleans up naming of API functions to create first-order constants and variables.
mkVar -> mkConst
mkBoundVar -> mkVar
declareConst is redundant (= mkConst) and thus, in an effort to avoid redundancy, removed.
Note that we want to avoid redundancy in order to reduce code duplication and maintenance
overhead (we do not allow nested API calls, since this is problematic when tracing API calls).
Diffstat (limited to 'examples/api/sets.cpp')
0 files changed, 0 insertions, 0 deletions