diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-12-01 16:44:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-01 09:44:32 -0600 |
| commit | 9cbf861d698aaa44d79ca7bd4714064a55f31fba (patch) | |
| tree | 4e8b2ba9b88b7bf3dd7f5a5cb5dd6423d0b5ee51 /src/theory/arrays | |
| parent | 75359f120b1cdfa77add48ef11c776f530783c31 (diff) | |
Refactor transcendental solver (#5539)
This PR does another round of refactoring on the transcendental solver. It cleans up some variable names, introduces an enum type for Convexity and passes both the intended taylor degree and the actual taylor degree (which will be needed for proofs).
Diffstat (limited to 'src/theory/arrays')
0 files changed, 0 insertions, 0 deletions