| 17 | // ---------------------------------------------------------------------------------------- |
| 18 | |
| 19 | struct function_spec |
| 20 | { |
| 21 | function_spec( |
| 22 | matrix<double,0,1> bound1, |
| 23 | matrix<double,0,1> bound2 |
| 24 | ); |
| 25 | |
| 26 | function_spec( |
| 27 | matrix<double,0,1> bound1, |
| 28 | matrix<double,0,1> bound2, |
| 29 | std::vector<bool> is_integer |
| 30 | ); |
| 31 | |
| 32 | matrix<double,0,1> lower; |
| 33 | matrix<double,0,1> upper; |
| 34 | std::vector<bool> is_integer_variable; |
| 35 | }; |
| 36 | |
| 37 | // ---------------------------------------------------------------------------------------- |
| 38 |
no outgoing calls
no test coverage detected