diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-15 17:55:06 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-15 17:55:06 -0600 |
| commit | aac53f510e1f21a46a49cb31475a8851a3097089 (patch) | |
| tree | c05c3bb737b6efde6857d7249eabfcd597c7b99c /src/theory/theory_engine.cpp | |
| parent | d027f24ed72556c240b43c0fa3282927f9344c3e (diff) | |
Move trigger trie to own file (#5680)
Also updates minor things to meet coding standards and makes it so that children in the trie are not dynamically allocated.
Diffstat (limited to 'src/theory/theory_engine.cpp')
0 files changed, 0 insertions, 0 deletions