lemon/lp_base.cc
branch1.2
changeset 885 1d467e7ed320
parent 510 bc0a130bbb46