1 files changed, 11 insertions, 0 deletions
diff --git a/src/util/options.h b/src/util/options.h
index b8d21f2b0..a5e03d21b 100644
--- a/src/util/options.h
+++ b/src/util/options.h
@@ -181,6 +181,17 @@ struct CVC4_PUBLIC Options {
   typedef enum { MINIMUM, BREAK_TIES, MAXIMUM } ArithPivotRule;
   ArithPivotRule pivotRule;
 
+  /**
+   * The number of pivots before Bland's pivot rule is used on a basic
+   * variable in arithmetic.
+   */
+  uint16_t arithPivotThreshold;
+
+  /**
+   * The maximum row length that arithmetic will use for propagation.
+   */
+  uint16_t arithPropagateMaxLength;
+
   Options();
 
   /**