diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-02-11 07:17:53 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-11 10:17:53 -0300 |
commit | b10e383e5efc92f02c63eaf5eec07479ed385304 (patch) | |
tree | 99fd6c404694241fddd8f97a2c8d6eebd27e2799 /src/include | |
parent | cbd66977993708a89638beccd625cdbdd32eed7f (diff) |
Simplify interface for preprocessor (#5890)
This does a minor simplification to the interface for preprocessor. It has a postProcess call that is called after another unrelated call at the SmtSolver level (notifyPreprocessedAssertions) is made. This makes it so that Preprocessor::postProcess is inlined as the last step of process.
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions