diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-11-25 01:07:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-24 18:07:42 -0600 |
| commit | 2576297452114b9bc916c84a748a5337e595a323 (patch) | |
| tree | 8261a6df31098c4b1963b45f542bdcb85d71def1 /src/printer | |
| parent | 07c7b873c5c2ee81cb2672428ca1de0d75bb1ae8 (diff) | |
Refactor transcendental solver (#5514)
The transcendental solver has grown over time, and a refactoring was due.
This PR splits the transcendental solver into five components:
a utility to compute taylor approximations
a common state for transcendental solvers
a solver for exponential function
a solver for sine function
a solver that wraps everything to a transcendental solver.
Diffstat (limited to 'src/printer')
0 files changed, 0 insertions, 0 deletions