diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-07-03 18:37:51 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-07-03 18:37:51 -0400 |
| commit | e926fd162c6cee95d31044305e3b4df90b59f9fc (patch) | |
| tree | 8dc282bb4887fc5ee04c9f5be1a742863c44ba2d /src/theory/booleans/theory_bool.h | |
| parent | a5df93270d53400687d64822a9f2a7e9412a55f5 (diff) | |
change lemma generation behavior
don't store lemmas in a pending queue, instead generate them right away
doing with pending queue is tricky, needs rethinking to do it properly
Diffstat (limited to 'src/theory/booleans/theory_bool.h')
0 files changed, 0 insertions, 0 deletions