diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-11-27 15:39:13 -0600 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-11-27 13:39:13 -0800 |
| commit | a2bba0806dab0e0d4728bbba8e4e6b4160335eeb (patch) | |
| tree | 76a9508f241908561176d2105a59195137944ec6 /proofs/signatures/example-quant.plf | |
| parent | 711234e01a17289d1fa4af3574ddf5d6de2405a1 (diff) | |
Make (T)NodeTrie a general utility (#2489)
This moves quantifiers::TermArgTrie in src/theory/quantifiers/term_database to (T)NodeTrie in src/expr, and cleans up all references to it.
Diffstat (limited to 'proofs/signatures/example-quant.plf')
0 files changed, 0 insertions, 0 deletions