From c5ec7b3d515b8b336898773fdb69a484db45e2c3 Mon Sep 17 00:00:00 2001 From: Schulzen Date: Wed, 18 Sep 2024 16:01:04 +0200 Subject: [PATCH] removed part of the code which was not present anymore in master --- include/tchecker/dbm/dbm.hh | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/include/tchecker/dbm/dbm.hh b/include/tchecker/dbm/dbm.hh index 4ec2827b..db119a6f 100644 --- 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)