equal
deleted
inserted
replaced
60 |
60 |
61 virtual const char* _solverName() const; |
61 virtual const char* _solverName() const; |
62 |
62 |
63 virtual int _addCol(); |
63 virtual int _addCol(); |
64 virtual int _addRow(); |
64 virtual int _addRow(); |
|
65 virtual int _addRow(Value l, ExprIterator b, ExprIterator e, Value u); |
65 |
66 |
66 virtual void _eraseCol(int i); |
67 virtual void _eraseCol(int i); |
67 virtual void _eraseRow(int i); |
68 virtual void _eraseRow(int i); |
68 |
69 |
69 virtual void _eraseColId(int i); |
70 virtual void _eraseColId(int i); |