diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-10-20 16:12:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-20 23:12:55 +0000 |
| commit | bef33ceaf0a6b69d76b4fd61cb03c990e86bc41c (patch) | |
| tree | 8dac5c6e500c4a6379270de70c3c547b5b0b18d8 /src/api/cpp/cvc5.h | |
| parent | 80cdf28298c9190506f37721492680f432ef635d (diff) | |
api: Add Solver::mkSepEmp(). (#7432)
@alex-ozdemir
Diffstat (limited to 'src/api/cpp/cvc5.h')
| -rw-r--r-- | src/api/cpp/cvc5.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h index e6a19c771..c46b00d0e 100644 --- a/src/api/cpp/cvc5.h +++ b/src/api/cpp/cvc5.h @@ -3444,6 +3444,12 @@ class CVC5_EXPORT Solver Term mkEmptyBag(const Sort& sort) const; /** + * Create a separation logic empty term. + * @return the separation logic empty term + */ + Term mkSepEmp() const; + + /** * Create a separation logic nil term. * @param sort the sort of the nil term * @return the separation logic nil term |