diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-05-20 16:29:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-20 16:29:17 +0200 |
commit | 777b1a5f2bbfec6040e292cc182f5ec5f48d03e5 (patch) | |
tree | bc08bfed3cd7f642fc40efefd524920ebaac142f /examples/api/bitvectors.cpp | |
parent | f91f8f24d6ed98698373f5d51b17cf583adcd768 (diff) |
Minor improvements to the API (#6585)
This PR does some minor improvements to the API:
- remove getConstSequenceElements(), use getSequenceValue() instead
- improve documentation for Term
Diffstat (limited to 'examples/api/bitvectors.cpp')
0 files changed, 0 insertions, 0 deletions