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 /src/smt/witness_form.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 'src/smt/witness_form.cpp')
0 files changed, 0 insertions, 0 deletions