23 out <<
"Shortest path counterexample with k = " << shortestPaths.size() <<
" paths: \n";
24 for (
size_t i = 0; i < shortestPaths.size(); ++i) {
25 out << i + 1 <<
"-shortest path: \n";
26 for (
auto it = shortestPaths[i].rbegin(); it != shortestPaths[i].rend(); ++it) {
27 out <<
"\tstate " << *it;
28 if (model->hasStateValuations()) {
29 out <<
": " << model->getStateValuations().getStateInfo(*it);
void outputFixedWidth(std::ostream &stream, Container const &output, size_t maxWidth=30)
Output list of strings with linebreaks according to fixed width.