print.h

Go to the documentation of this file.

#pragma once
#include "storm/modelchecker/results/CheckResult.h"
#include "storm/utility/Stopwatch.h"
 
#include "storm-pars/utility/parametric.h"
 
namespace storm::pars {
template<typename ValueType>
void printInitialStatesResult(std::unique_ptr<storm::modelchecker::CheckResult> const &result, storm::utility::Stopwatch *watch = nullptr,
                              const storm::utility::parametric::Valuation<ValueType> *valuation = nullptr);
 
}