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

Bug 497 - constraint_t is out of dbm namespace
Summary: constraint_t is out of dbm namespace
Status: ASSIGNED
Alias: None
Product: DBM
Classification: Unclassified
Component: dbm (show other bugs)
Version: unspecified
Hardware: Macintosh Mac OS
: P2 enhancement
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2010-08-10 17:00 CEST by Frédéric Herbreteau
Modified: 2020-01-22 15:34 CET (History)
1 user (show)

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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