Use evaluator in sygus sampler. (#2117)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 29 Jun 2018 18:39:59 +0000 (13:39 -0500)
committerGitHub <noreply@github.com>
Fri, 29 Jun 2018 18:39:59 +0000 (13:39 -0500)
commit5d5bd50528ee63683078fd16fe5df7c1b9c6f2fa
tree661dfa25ae81129171e2d556fbf334666878eb45
parent021e7ebaf808f4496609685cccab4eae8eb04d38
Use evaluator in sygus sampler. (#2117)

* Use evaluator for sygus sampler.

* Format
src/theory/quantifiers/sygus_sampler.cpp
src/theory/quantifiers/sygus_sampler.h