diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-10-07 18:37:48 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-07 18:37:48 -0700 |
| commit | 217710627bd440cb28524d014afb5f10058302fd (patch) | |
| tree | 7f6ee4d6ed7b17dff5d0619e2f5dcf17af319bfd /src/expr/metakind_template.h | |
| parent | 97c7e81a68b31328e5bf40dd6939826e3cc1cf93 (diff) | |
New C++ API: Add Term::getId(). (#3360)
+ use explicit types in NodeValue
+ add unit test for Term::isParameterized()
Co-Authored-By: makaimann <makaim@stanford.edu>
Diffstat (limited to 'src/expr/metakind_template.h')
| -rw-r--r-- | src/expr/metakind_template.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h index 3550acf05..c651a5f28 100644 --- a/src/expr/metakind_template.h +++ b/src/expr/metakind_template.h @@ -123,8 +123,8 @@ namespace metakind { #define CVC4__EXPR__NODE_VALUE__NBITS__ID 40 #define CVC4__EXPR__NODE_VALUE__NBITS__NCHILDREN 26 -static const unsigned MAX_CHILDREN = - (1u << CVC4__EXPR__NODE_VALUE__NBITS__NCHILDREN) - 1; +static const uint32_t MAX_CHILDREN = + (((uint32_t)1) << CVC4__EXPR__NODE_VALUE__NBITS__NCHILDREN) - 1; }/* CVC4::kind::metakind namespace */ }/* CVC4::kind namespace */ |