diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-13 15:51:27 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-13 15:51:27 +0000 |
commit | 39c17191ad88a50bfffdbbc5ed8b493ad99b3fb5 (patch) | |
tree | 379084e939f37be0bff49a904fc853eafc8be356 /src/util/options.h | |
parent | 56bd7f581bdf1cf48db9f018a71dff22af123535 (diff) |
fixing build warnings
Diffstat (limited to 'src/util/options.h')
-rw-r--r-- | src/util/options.h | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/util/options.h b/src/util/options.h index fd09d4149..896f77297 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -149,6 +149,11 @@ struct CVC4_PUBLIC Options { /** Whether to do the ite-simplification pass */ bool doITESimp; + /** + * Whether the user explicitly requested ite simplification + */ + bool doITESimpSetByUser; + /** Whether we're in interactive mode or not */ bool interactive; @@ -253,11 +258,6 @@ struct CVC4_PUBLIC Options { bool ufSymmetryBreakerSetByUser; /** - * Whether the user explicitly requested ite simplification - */ - bool doITESimpSetByUser; - - /** * Whether to do the linear diophantine equation solver * in Arith as described by Griggio JSAT 2012 (on by default). */ @@ -297,13 +297,13 @@ struct CVC4_PUBLIC Options { int sharingFilterByLength; /** Bitblast eagerly to the main sat solver */ - bool bitvector_eager_bitblast; + bool bitvectorEagerBitblast; /** Fullcheck at each check */ - bool bitvector_eager_fullcheck; + bool bitvectorEagerFullcheck; /** Bitblast eagerly to the main sat solver */ - bool bitvector_share_lemmas; + bool bitvectorShareLemmas; /** Refine conflicts by doing another full check after a conflict */ bool sat_refine_conflicts; |