| line |
true |
false |
branch |
|
71
|
2567 |
0 |
terms.reserve( expression.terms().size() );
|
|
73
|
2119 |
2567 |
for (const Term &term : expression.terms())
|
|
74
|
2119 |
0 |
terms.push_back(term * coefficient);
|
|
|
2119 |
0 |
terms.push_back(term * coefficient);
|
|
123
|
2501 |
0 |
terms.reserve( first.terms().size() + second.terms().size() );
|
|
124
|
2501 |
0 |
terms.insert( terms.begin(), first.terms().begin(), first.terms().end() );
|
|
125
|
2501 |
0 |
terms.insert( terms.end(), second.terms().begin(), second.terms().end() );
|
|
134
|
2 |
0 |
terms.reserve( first.terms().size() + 1 );
|
|
135
|
2 |
0 |
terms.insert( terms.begin(), first.terms().begin(), first.terms().end() );
|
|
136
|
2 |
0 |
terms.push_back( second );
|
|
144
|
1 |
0 |
return expression + Term( variable );
|
|
158
|
2501 |
0 |
return first + -second;
|
|
165
|
0 |
0 |
return expression + -term;
|
|
172
|
0 |
0 |
return expression + -variable;
|
|
195
|
934 |
0 |
return Expression( { first, second } );
|
|
|
1868 |
934 |
return Expression( { first, second } );
|
|
|
0 |
0 |
return Expression( { first, second } );
|
|
202
|
924 |
0 |
return term + Term( variable );
|
|
216
|
0 |
0 |
return -expression + term;
|
|
223
|
1 |
0 |
return first + -second;
|
|
230
|
0 |
0 |
return term + -variable;
|
|
260
|
803 |
0 |
return Term( first ) + second;
|
|
267
|
4 |
0 |
return Term( variable ) + constant;
|
|
274
|
0 |
0 |
return variable + -expression;
|
|
281
|
0 |
0 |
return variable + -term;
|
|
288
|
121 |
0 |
return first + -second;
|
|
325
|
0 |
0 |
return -expression + constant;
|
|
332
|
1 |
0 |
return -term + constant;
|
|
339
|
1 |
0 |
return -variable + constant;
|
|
348
|
1742 |
0 |
return Constraint( first - second, OP_EQ );
|
|
355
|
1740 |
0 |
return expression == Expression( term );
|
|
362
|
1738 |
0 |
return expression == Term( variable );
|
|
369
|
2 |
0 |
return expression == Expression( constant );
|
|
376
|
382 |
0 |
return Constraint( first - second, OP_LE );
|
|
383
|
127 |
0 |
return expression <= Expression( term );
|
|
390
|
127 |
0 |
return expression <= Term( variable );
|
|
397
|
255 |
0 |
return expression <= Expression( constant );
|
|
404
|
377 |
0 |
return Constraint( first - second, OP_GE );
|
|
411
|
120 |
0 |
return expression >= Expression( term );
|
|
418
|
120 |
0 |
return expression >= Term( variable );
|
|
425
|
257 |
0 |
return expression >= Expression( constant );
|
|
441
|
0 |
0 |
return Expression( first ) == second;
|
|
448
|
1062 |
0 |
return Expression( term ) == variable;
|
|
455
|
1 |
0 |
return Expression( term ) == constant;
|
|
469
|
0 |
0 |
return Expression( first ) <= second;
|
|
476
|
0 |
0 |
return Expression( term ) <= variable;
|
|
483
|
255 |
0 |
return Expression( term ) <= constant;
|
|
497
|
0 |
0 |
return Expression( first ) >= second;
|
|
504
|
0 |
0 |
return Expression( term ) >= variable;
|
|
511
|
257 |
0 |
return Expression( term ) >= constant;
|
|
533
|
1062 |
0 |
return Term( first ) == second;
|
|
540
|
1 |
0 |
return Term( variable ) == constant;
|
|
561
|
0 |
0 |
return Term( first ) <= second;
|
|
568
|
255 |
0 |
return Term( variable ) <= constant;
|
|
589
|
0 |
0 |
return Term( first ) >= second;
|
|
596
|
257 |
0 |
return Term( variable ) >= constant;
|