diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-12-20 12:36:10 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-20 12:36:10 -0600 |
commit | c710665ee3f1bd28f0329d6f8428fcbeedd5d372 (patch) | |
tree | a6d85eeeb8cb6663bb163716f4bc6052a743f5e3 /src/options | |
parent | 018ff661d60cfc4801a2178fdb4f91181a8a69ee (diff) |
Transcendental functions check model (#1443)
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/arith_options | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/options/arith_options b/src/options/arith_options index 3ba1b00f6..e6f7fd6d0 100644 --- a/src/options/arith_options +++ b/src/options/arith_options @@ -195,4 +195,10 @@ option nlExtPurify --nl-ext-purify bool :default false option nlExtSplitZero --nl-ext-split-zero bool :default false intial splits on zero for all variables +option nlExtTfTaylorDegree --nl-ext-tf-taylor-deg=N int16_t :default 4 :read-write + initial degree of polynomials for Taylor approximation + +option nlExtTfIncPrecision --nl-ext-tf-inc-prec bool :default true + whether to increment the precision for transcendental function constraints + endmodule |