diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-14 17:04:14 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-14 17:04:14 -0600 |
| commit | 748e20967ae7698f6b545a5128633865701aeb2d (patch) | |
| tree | 3413586dbdeff2ddfbb604db5c1e6045b1a749a7 /src/theory/quantifiers/ce_guided_pbe.h | |
| parent | 376d72fd02d7f8822188055355452449b718481f (diff) | |
(Refactor) Split sygus term db (#1335)
* Split explain utility, invariance tests.
* Split extended rewriter.
* Remove unused function.
* Minor
* Move generic term utilities to term_util.
* Documentation, minor.
* Make arguments private in eval invariance.
* Document
* More documentation.
* Clang format.
* Fix, improve.
* Format
* Address review.
* Address missed comment.
* Add line breaks
* Format
Diffstat (limited to 'src/theory/quantifiers/ce_guided_pbe.h')
| -rw-r--r-- | src/theory/quantifiers/ce_guided_pbe.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/ce_guided_pbe.h b/src/theory/quantifiers/ce_guided_pbe.h index d69c94944..b357e4d15 100644 --- a/src/theory/quantifiers/ce_guided_pbe.h +++ b/src/theory/quantifiers/ce_guided_pbe.h @@ -77,7 +77,7 @@ class CegConjecture; * are equivalent up to examples on the above conjecture, since they have the * same value on the points x = 0,5,6. Hence, we need only consider one of * them. The interface for querying this is -* CegConjecturePbe::addSearchVal(...). +* CegConjecturePbe::addSearchVal(...). * For details, see Reynolds et al. SYNT 2017. * * (5) When the extension of quantifier-free datatypes procedure for SyGuS |