diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-23 17:21:09 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-23 23:50:37 -0700 |
| commit | 36fb4dcec8fb09a48da59261eda0582da68348cd (patch) | |
| tree | 4d32beff03bbd0764dd048feadeab36415c1a7c2 /src/proof/proof_utils.h | |
| parent | c5982fa8fa60f25b01efcf45cf73bca353226d84 (diff) | |
Sketch of refactoring the Commands to use new APInewApiForCommands
This commit is a sketch of how we can transform `Command`s to use the
new API and transform the parser bit-by-bit. The overall idea is that
`Command::invoke()` now takes an `Solver*` as an argument instead of an
`SmtEngine*`. The default implementation `Command::invoke()` just calls
the old implementation. As an example, the PR transforms the
`GetValueCommand`.
Diffstat (limited to 'src/proof/proof_utils.h')
0 files changed, 0 insertions, 0 deletions