removed part of the code which was not present anymore in master

Echtzeitsysteme · Sep 18, 2024 · c5ec7b3 · c5ec7b3
1 parent 9b5b848
commit c5ec7b3
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/include/tchecker/dbm/dbm.hh b/include/tchecker/dbm/dbm.hh
@@ -599,18 +599,6 @@ enum tchecker::dbm::status_t intersection(tchecker::dbm::db_t * dbm, tchecker::d
  */
 bool disjoint(tchecker::dbm::db_t * dbm_1, tchecker::dbm::db_t * dbm2, tchecker::clock_id_t dim);
 
-/*!
- \brief revert-multiple-reset function (see the TR of Lieb et al.)
- \param result : where the result will be stored (must be allocated)
- \param orig_zone : the previous zone
- \param zone_split : the split of reset(orig_zone)
- \param reset : the used reset set
- \return void
- */
-enum tchecker::dbm::status_t revert_multiple_reset(tchecker::dbm::db_t *result, const tchecker::dbm::db_t * orig_zone,
-                                                   tchecker::clock_id_t dim, tchecker::dbm::db_t * zone_split,
-                                                   tchecker::clock_reset_container_t reset);
-
 /*!
  \brief revert-multiple-reset function (see the TR of Lieb et al.)
  \param result : where the result will be stored (must be allocated)