#include <lemon/lp_base.h>
Public Member Functions | |
int | fixId (int n) const |
Convert a floating id to a fix one. | |
int | floatingId (int n) const |
Convert a fix id to a floating one. | |
int | insert (int n) |
Add a new floating id. | |
void | erase (int n) |
Remove a fix id. | |
std::size_t | maxFixId () |
An upper bound on the largest fix id. |
|
|
|
|
|
|
|
|
|
|