From 896b57ede33b4d9bad1f309560303b07868a1c05 Mon Sep 17 00:00:00 2001
From: Salome Eriksson <salome.eriksson@unibas.ch>
Date: Tue, 16 Jul 2024 17:04:53 +0200
Subject: [PATCH] Add warning about combinatorial explosion to documentation.

---
 src/search/tasks/default_value_axioms_task.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/search/tasks/default_value_axioms_task.cc b/src/search/tasks/default_value_axioms_task.cc
index ae14a43855..a3ebc3934d 100644
--- a/src/search/tasks/default_value_axioms_task.cc
+++ b/src/search/tasks/default_value_axioms_task.cc
@@ -420,6 +420,7 @@ static plugins::TypedEnumPlugin<AxiomHandlingType> _enum_plugin({
          "have cyclic dependencies by setting an empty condition, "
          "indicating the default value can always be achieved for free."
          "For all other derived variables, the negated axioms are computed"
-         "exactly."}
+         "exactly. Note that this can potentially lead to a combinatorial "
+         "explosion"}
     });
 }