From 5429a0bc6d0fc041e1a70966dee40e530862fb86 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Wed, 8 Dec 2021 22:02:10 -0800 Subject: [PATCH] api: Add note to Sort::getTesterCodomainSort(). (#7776) --- src/api/cpp/cvc5.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h index e40a4f721..9899e346e 100644 --- a/src/api/cpp/cvc5.h +++ b/src/api/cpp/cvc5.h @@ -639,6 +639,9 @@ class CVC5_EXPORT Sort /** * @return the codomain sort of a tester sort, which is the Boolean sort + * + * @note We mainly need this for the symbol table, which doesn't have + * access to the solver object. */ Sort getTesterCodomainSort() const; -- 2.30.2