diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-10-04 16:47:43 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-04 16:47:43 -0700 |
commit | 682a9ad81e7819a391b6eac49ea989d75c9774cc (patch) | |
tree | 2fc80d937f89e9b015c274a5083b567b7f77e1b2 /src/options | |
parent | 13758686d92eb5a6cfb30d830a35b20c14213717 (diff) |
New C++ API: Add checks for Sorts. (#2519)
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/options.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/options/options.h b/src/options/options.h index 474fe3a4b..1b61994c5 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -33,12 +33,16 @@ namespace CVC4 { +namespace api { +class Solver; +} namespace options { struct OptionsHolder; class OptionsHandler; }/* CVC4::options namespace */ class CVC4_PUBLIC Options { + friend api::Solver; /** The struct that holds all option values. */ options::OptionsHolder* d_holder; |