diff options
| author | Tim King <taking@cs.nyu.edu> | 2011-03-30 15:07:02 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2011-03-30 15:07:02 +0000 |
| commit | 6495988f28ad6c9b318fc506e5d85d8613b03640 (patch) | |
| tree | f8679ffdf53b9d38f307e03b34aed251ba37bfbd /src/util/options.h | |
| parent | 10cabf82a20258da80be53eb6d23b1a536e82eb5 (diff) | |
Added the command line flag --rewrite-arithmetic-equalities. This sets a static flag in Options that the ArithRewriter uses to determine the equality rewriting policy.
Diffstat (limited to 'src/util/options.h')
| -rw-r--r-- | src/util/options.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/options.h b/src/util/options.h index 2618f8512..2ddc8224f 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -129,6 +129,7 @@ struct CVC4_PUBLIC Options { /** Whether incemental solving (push/pop) */ bool incrementalSolving; + static bool rewriteArithEqualities; typedef enum { MINIMUM, BREAK_TIES, MAXIMUM } ArithPivotRule; ArithPivotRule pivotRule; |