diff -r e427615afb48 -r a3484f00a5f0 lemon/lp_base.h --- a/lemon/lp_base.h Tue Jun 14 10:26:37 2005 +0000 +++ b/lemon/lp_base.h Tue Jun 14 13:55:28 2005 +0000 @@ -47,12 +47,12 @@ ///\param n is a floating id ///\return the corresponding fix id - int fixId(int n) {return cross[n];} + int fixId(int n) const {return cross[n];} ///Convert a fix id to a floating one ///\param n is a fix id ///\return the corresponding floating id - int floatingId(int n) { return index[n];} + int floatingId(int n) const { return index[n];} ///Add a new floating id. ///\param n is a floating id