diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-07-17 18:25:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-17 18:25:13 +0200 |
| commit | 490f664c35d717d5bd01f43f3026fb2abf3e99ff (patch) | |
| tree | a4104b14a4eb6f2a0013643cb1f4042e8ea1e3cd /src/theory/arith/nonlinear_extension.h | |
| parent | 0834e9e263b1ecd014ef347d0f080ac1505fdcb4 (diff) | |
Purify applications of exp to transcendental arguments (#2097)
Diffstat (limited to 'src/theory/arith/nonlinear_extension.h')
| -rw-r--r-- | src/theory/arith/nonlinear_extension.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/nonlinear_extension.h b/src/theory/arith/nonlinear_extension.h index d3698aa94..1e5ca9ad1 100644 --- a/src/theory/arith/nonlinear_extension.h +++ b/src/theory/arith/nonlinear_extension.h @@ -544,8 +544,8 @@ class NonlinearExtension { std::vector<Node> d_order_points; //transcendental functions - std::map<Node, Node> d_trig_base; - std::map<Node, bool> d_trig_is_base; + std::map<Node, Node> d_tr_base; + std::map<Node, bool> d_tr_is_base; std::map< Node, bool > d_tf_initial_refine; /** the list of lemmas we are waiting to flush until after check model */ std::vector<Node> d_waiting_lemmas; |