equal
deleted
inserted
replaced
73 |
73 |
74 virtual const char* _solverName() const; |
74 virtual const char* _solverName() const; |
75 |
75 |
76 virtual int _addCol(); |
76 virtual int _addCol(); |
77 virtual int _addRow(); |
77 virtual int _addRow(); |
|
78 virtual int _addRow(Value l, ExprIterator b, ExprIterator e, Value u); |
78 |
79 |
79 virtual void _eraseCol(int i); |
80 virtual void _eraseCol(int i); |
80 virtual void _eraseRow(int i); |
81 virtual void _eraseRow(int i); |
81 |
82 |
82 virtual void _eraseColId(int i); |
83 virtual void _eraseColId(int i); |