diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-01 18:34:21 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-01 18:34:21 -0500 |
| commit | b826fc8ae95fc13c4e2be45e39961199392a4dda (patch) | |
| tree | 39b45cb5e10cfd7b957e13bb3894a5ce80647f3e /src/api/cvc4cpp.cpp | |
| parent | 4ac66d3aee2a0571c169e4ce2d6049ea311462ce (diff) | |
(proof-new) Proof step buffer utilities (#4533)
This class is used for delaying proof node creation until it is necessary.
Diffstat (limited to 'src/api/cvc4cpp.cpp')
0 files changed, 0 insertions, 0 deletions