puplic getter for DBM empty status

DEIS-Tools · Sep 12, 2023 · a816a80 · a816a80
1 parent 771fc9a
commit a816a80
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/pardibaal/DBM.h b/src/pardibaal/DBM.h
@@ -75,7 +75,7 @@ namespace pardibaal {
 
         static DBM unconstrained(dim_t dimension);
 
-        [[nodiscard]] inline bound_t at(dim_t i, dim_t j) const {return this->_bounds_table.at(i, j);}
+        [[nodiscard]] inline bound_t at(dim_t i, dim_t j) const { return this->_bounds_table.at(i, j); }
 
         inline void set(dim_t i, dim_t j, bound_t bound) {
             this->_bounds_table.set(i, j, bound);
@@ -87,6 +87,8 @@ namespace pardibaal {
             this->set(constraint._i, constraint._j, constraint._bound);
         }
 
+        [[nodiscard]] inline empty_status_e empty_status() const { return _empty_status; }
+
         void subtract(dim_t i, dim_t j, bound_t bound);
         void subtract(difference_bound_t constraint);