diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-16 14:09:30 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-16 14:09:30 -0600 |
| commit | 6c6f4e23aea405a812b1c6a3dd4d80696eb34741 (patch) | |
| tree | acdb79a293d6f1e9034913dc51f45ad75d892be1 /src/theory/quantifiers/relevant_domain.h | |
| parent | 7bd874b098f210b53f5b608bc159d1d90c8794b8 (diff) | |
(Refactor) Arithmetic monomial sum (#1381)
* Add arithmetic monomial sum utility.
* Clang format
* Fix
* Address review.
* Fix missed comment.
* Format
* Fix
Diffstat (limited to 'src/theory/quantifiers/relevant_domain.h')
| -rw-r--r-- | src/theory/quantifiers/relevant_domain.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/quantifiers/relevant_domain.h b/src/theory/quantifiers/relevant_domain.h index fbf3520c6..112530788 100644 --- a/src/theory/quantifiers/relevant_domain.h +++ b/src/theory/quantifiers/relevant_domain.h @@ -18,6 +18,7 @@ #define __CVC4__THEORY__QUANTIFIERS__RELEVANT_DOMAIN_H #include "theory/quantifiers/first_order_model.h" +#include "theory/quantifiers/quant_util.h" namespace CVC4 { namespace theory { |