diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-01-24 13:13:06 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-24 13:13:06 -0600 |
commit | 36b5281d3a4d58df5a4e68eca3d41568f1650769 (patch) | |
tree | 9fe99b5e64322f0cb6c7b567393c05fcea29306f /src/theory/fp/theory_fp.cpp | |
parent | 9d8a3b458b11961026ee1e58782ff073de29f93b (diff) |
Initial cleaning of triggers (#5795)
In preparation for splitting trigger.h/cpp into multiple files.
This updates the code to conform to guidelines. No major changes, apart from a heuristic related to "pure theory triggers" is deleted and simplified.
Diffstat (limited to 'src/theory/fp/theory_fp.cpp')
0 files changed, 0 insertions, 0 deletions