diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-25 07:15:06 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-25 07:15:06 -0500 |
commit | 1af865f3429c0dd5910b5a8d1e12d690c3623dfa (patch) | |
tree | ac996a942c79ebb083900226a7b7c0348ef9be3a /src/options | |
parent | e8482734bb0cd0af285464a4c50b631234ea36ee (diff) |
Update option --nl-ext to enable/disable incremental linearization solver only (#4649)
Previously, this option disabled/enabled the entire non-linear solver. This is in preparation for new CAD techniques.
I am intentionally not renaming "--nl-ext" to e.g. "--nl-inc-lin" for the sake of not breaking user configurations.
It makes some minor changes to clean the interface in a few places and to not enable the non-linear solver in linear logics.
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/arith_options.toml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/options/arith_options.toml b/src/options/arith_options.toml index 0bfc26338..ce747b62d 100644 --- a/src/options/arith_options.toml +++ b/src/options/arith_options.toml @@ -435,7 +435,7 @@ header = "options/arith_options.h" type = "bool" default = "true" read_only = true - help = "extended approach to non-linear" + help = "incremental linearization approach to non-linear" [[option]] name = "nlExtResBound" @@ -444,7 +444,7 @@ header = "options/arith_options.h" type = "bool" default = "false" read_only = true - help = "use resolution-style inference for inferring new bounds" + help = "use resolution-style inference for inferring new bounds in non-linear incremental linearization solver" [[option]] name = "nlExtFactor" @@ -453,7 +453,7 @@ header = "options/arith_options.h" type = "bool" default = "true" read_only = true - help = "use factoring inference in non-linear solver" + help = "use factoring inference in non-linear incremental linearization solver" [[option]] name = "nlExtTangentPlanes" @@ -462,7 +462,7 @@ header = "options/arith_options.h" type = "bool" default = "false" read_only = true - help = "use non-terminating tangent plane strategy for non-linear" + help = "use non-terminating tangent plane strategy for non-linear incremental linearization solver" [[option]] name = "nlExtTangentPlanesInterleave" @@ -470,7 +470,7 @@ header = "options/arith_options.h" long = "nl-ext-tplanes-interleave" type = "bool" default = "false" - help = "interleave tangent plane strategy for non-linear" + help = "interleave tangent plane strategy for non-linear incremental linearization solver" [[option]] name = "nlExtTfTangentPlanes" @@ -479,7 +479,7 @@ header = "options/arith_options.h" type = "bool" default = "true" read_only = true - help = "use non-terminating tangent plane strategy for transcendental functions for non-linear" + help = "use non-terminating tangent plane strategy for transcendental functions for non-linear incremental linearization solver" [[option]] name = "nlExtEntailConflicts" @@ -497,7 +497,7 @@ header = "options/arith_options.h" type = "bool" default = "true" read_only = true - help = "do rewrites in non-linear solver" + help = "do context-dependent simplification based on rewrites in non-linear solver" [[option]] name = "nlExtPurify" |