compiling

1 files changed, 17 insertions, 0 deletions

diff --git a/src/options/smt_modes.h b/src/options/smt_modes.h
index ed40a28a1..826636723 100644
--- a/src/options/smt_modes.h
+++ b/src/options/smt_modes.h
@@ -53,6 +53,23 @@ enum ModelCoresMode
   MODEL_CORES_NON_IMPLIED
 };
 
+
+/** Block models modes. */
+enum BlockModelsMode
+{
+  /** Do not block models */
+  BLOCK_MODELS_NONE,
+  /**
+   * block models based on literals truth values.
+   */
+  BLOCK_MODELS_LITERALS,
+  /**
+   * block models based on concrete variable values in the model.
+   */
+  BLOCK_MODELS_VALUES,
+};
+
+
 }  // namespace CVC4
 
 #endif /* CVC4__SMT__MODES_H */