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/smt/command.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/smt/command.cpp')
| -rw-r--r-- | src/smt/command.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/command.cpp b/src/smt/command.cpp index c2aa1c5f9..1794765b4 100644 --- a/src/smt/command.cpp +++ b/src/smt/command.cpp @@ -1470,7 +1470,7 @@ api::Sort DeclareHeapCommand::getDataSort() const { return d_dataSort; } void DeclareHeapCommand::invoke(api::Solver* solver, SymbolManager* sm) { - solver->declareSeparationHeap(d_locSort, d_dataSort); + solver->declareSepHeap(d_locSort, d_dataSort); } Command* DeclareHeapCommand::clone() const |