diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-11-03 15:04:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-03 22:04:34 +0000 |
| commit | a517a9127e0ef70424364d093bb21be64891dd0d (patch) | |
| tree | 424d74c9509459dbb8b7b15a8e6856581e3c8be6 /src/theory/uf/ho_extension.cpp | |
| parent | 79cbac66b3676cfcaeb9739ad046084f6328ac74 (diff) | |
api: Rename some separation logic functions for consistency. (#7564)
This renames Solver::getSeparationHeap to Solver::getValueSepHeap,
Solver::getSeparationNilTerm to Solver::getSepNil and
Solver::declareSeparationHeap to Solver::declareSepHeap.
@mudathirmahgoub @alex-ozdemir @yoni206
Diffstat (limited to 'src/theory/uf/ho_extension.cpp')
0 files changed, 0 insertions, 0 deletions