diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-03-25 13:17:30 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-25 18:17:30 +0000 |
commit | 8a3876f74f377817345af405aebfceebc7896059 (patch) | |
tree | 82474f0df4b65274e6fbbb8a2d3f56ec42815a40 /src/theory/inference_manager_buffered.cpp | |
parent | f9e3d2dccd5018e07df1c2cd323c5e192b020819 (diff) |
Refactor construction of triggers (#6209)
This PR centralizes our utilities for generating triggers. It also splits the statistics class from quantifiers off from quantifiers engine.
Diffstat (limited to 'src/theory/inference_manager_buffered.cpp')
0 files changed, 0 insertions, 0 deletions