This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 497

Summary: constraint_t is out of dbm namespace
Product: DBM Reporter: Frédéric Herbreteau <fh>
Component: dbmAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: enhancement CC: marius
Priority: P2    
Version: unspecified   
Hardware: Macintosh   
OS: Mac OS   
Architecture:

Description Frédéric Herbreteau 2010-08-10 17:00:49 CEST 
In version 2.0.6 of UPPAAL DBM library, the structure constraint_t is defined out of any namespace. It would be more convenient to define it inside the dbm namespace. This would give the possibility to define other constraint_t classes in a program that uses the library, without suffering from class name ambiguities.
Comment 1 Alexandre David 2010-08-11 11:41:11 CEST 
Agreed, that will be fixed later.
Comment 2 Marius Mikučionis 2020-01-22 15:34:55 CET 
taking over