- unsigned visited_counter; /* used by lmm_update_modified_set and lmm_remove_modified_set to cleverly (un-)flag the
- * constraints (more details in these functions) */
- boost::intrusive::list<s_lmm_constraint_t,
- boost::intrusive::member_hook<s_lmm_constraint_t, boost::intrusive::list_member_hook<>,
- &s_lmm_constraint_t::constraint_set_hook>>
+ unsigned visited_counter; /* used by System::update_modified_set() and System::remove_all_modified_set() to
+ * cleverly (un-)flag the constraints (more details in these functions) */
+ boost::intrusive::list<Constraint, boost::intrusive::member_hook<Constraint, boost::intrusive::list_member_hook<>,
+ &Constraint::constraint_set_hook>>