perf(planning): Avoid unecessary bound-checking conditions on unbound…

…ed state variables.
plaans · Dec 17, 2024 · a273208 · a273208
1 parent dcc73e8
commit a273208
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/planning/planners/src/encode.rs b/planning/planners/src/encode.rs
@@ -768,6 +768,10 @@ pub fn encode(pb: &FiniteProblem, metric: Option<Metric>) -> std::result::Result
             let Type::Int { lb, ub } = inc.state_var.fluent.return_type() else {
                 unreachable!()
             };
+
+            if lb == INT_CST_MIN && ub == INT_CST_MAX {
+                continue;
+            }
             let var = solver
                 .model
                 .new_ivar(lb, ub, Container::Instance(inc_id.instance_id) / VarType::Reification);