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/node.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/node.h')
| -rw-r--r-- | src/expr/node.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/node.h b/src/expr/node.h index b8a665f0c..e0231bef6 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -476,7 +476,8 @@ public: * Returns the unique id of this node * @return the ud */ - unsigned long getId() const { + uint64_t getId() const + { assertTNodeNotExpired(); return d_nv->getId(); } |