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/parser/cvc/cvc_input.h | |
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/parser/cvc/cvc_input.h')
0 files changed, 0 insertions, 0 deletions