| 144 | int Context::getPrintPrecision() const { return print_precision_; } |
| 145 | |
| 146 | void Context::setPrintMaxElementsPerDim(int max_elements) { print_max_elements_per_dim_ = max_elements; } |
| 147 | |
| 148 | int Context::getPrintMaxElementsPerDim() const { return print_max_elements_per_dim_; } |
| 149 |
no outgoing calls
no test coverage detected