diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-22 21:05:37 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-22 21:05:37 -0700 |
| commit | c9b7c3d6fcd49b6d75a85e1316e9918374d1ebbe (patch) | |
| tree | 481ebcabeb01c576c5ae51269275ecd7ade9d4f3 /src/theory/arith/nonlinear_extension.h | |
| parent | c98ba7775ecb8a192e2a93735885163234546be3 (diff) | |
Collect statistics about normal form inferences (#4127)
This commit adds code to count the number of inferences made of each
inference type for normal form inferences. It extends the Inference
enum in `infer_info.h` and adds two new `sendInference()` methods in the
`InferenceManager` to send and count inferences that have a corresonding
entry in the `Inference` enum.
Diffstat (limited to 'src/theory/arith/nonlinear_extension.h')
0 files changed, 0 insertions, 0 deletions