equal
deleted
inserted
replaced
45 _FixId() : first_free(-1) {}; |
45 _FixId() : first_free(-1) {}; |
46 ///Convert a floating id to a fix one |
46 ///Convert a floating id to a fix one |
47 |
47 |
48 ///\param n is a floating id |
48 ///\param n is a floating id |
49 ///\return the corresponding fix id |
49 ///\return the corresponding fix id |
50 int fixId(int n) {return cross[n];} |
50 int fixId(int n) const {return cross[n];} |
51 ///Convert a fix id to a floating one |
51 ///Convert a fix id to a floating one |
52 |
52 |
53 ///\param n is a fix id |
53 ///\param n is a fix id |
54 ///\return the corresponding floating id |
54 ///\return the corresponding floating id |
55 int floatingId(int n) { return index[n];} |
55 int floatingId(int n) const { return index[n];} |
56 ///Add a new floating id. |
56 ///Add a new floating id. |
57 |
57 |
58 ///\param n is a floating id |
58 ///\param n is a floating id |
59 ///\return the fix id of the new value |
59 ///\return the fix id of the new value |
60 ///\todo Multiple additions should also be handled. |
60 ///\todo Multiple additions should also be handled. |