37 map<string, int>::iterator j =
name.find(Name);
38 if ( j ==
name.end() ) {
39 cout <<
" name not found: " << Name << endl;
44 void add(
const string &Name,
const string &Sign) {
45 map<string, int>::iterator j =
name.find(Name);
50 cout <<
" duplicated row: " << Name << endl;
67 map<string, int>::iterator j =
name.find(Name);
68 if ( j ==
name.end() ) {
69 cout <<
" name not found: " << Name << endl;
74 void add(
const string &Name) {
75 map<string, int>::iterator j =
name.find(Name);
79 cout <<
" duplicated row: " << Name << endl;
int reader(const LP_parms &lp_par, VOL_lp *lp_pb)
void add(const string &Name, const string &Sign)
int original_index(const string &Name)
void add(const string &Name)
int original_index(const string &Name)