diff options
Diffstat (limited to 'src/util/options.h')
| -rw-r--r-- | src/util/options.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/util/options.h b/src/util/options.h index 32d26c750..d04947b02 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -209,6 +209,12 @@ struct CVC4_PUBLIC Options { bool ufSymmetryBreaker; /** + * Whether the user explicitly requested that the symmetry + * breaker be enabled or disabled. + */ + bool ufSymmetryBreakerSetByUser; + + /** * Whether to do the linear diophantine equation solver * in Arith as described by Griggio JSAT 2012 (on by default). */ |