projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 79cbac6) | patch
api: Rename some separation logic functions for consistency. (#7564)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 3 Nov 2021 22:04:34 +0000 (15:04 -0700)
committerGitHub <noreply@github.com>
Wed, 3 Nov 2021 22:04:34 +0000 (22:04 +0000)
commita517a9127e0ef70424364d093bb21be64891dd0d
tree424d74c9509459dbb8b7b15a8e6856581e3c8be6tree
parent79cbac66b3676cfcaeb9739ad046084f6328ac74commit | 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
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/java/io/github/cvc5/api/Solver.java diff | blob | history
src/api/java/jni/solver.cpp diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
src/smt/command.cpp diff | blob | history
test/api/sep_log_api.cpp diff | blob | history
test/python/unit/api/test_solver.py diff | blob | history
test/unit/api/java/SolverTest.java diff | blob | history
test/unit/api/solver_black.cpp diff | blob | history