Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Validation.h
Go to the documentation of this file.
1#pragma once
2
3#include <iosfwd>
4
5#include "storm/storage/umb/model/UmbModelForward.h"
6
7namespace storm::umb {
14bool validate(storm::umb::UmbModel const& umbModel, std::ostream& errors);
15
21void validateOrThrow(storm::umb::UmbModel const& umbModel);
22
23} // namespace storm::umb
storm::umb::validate
bool validate(storm::umb::UmbModel const &umbModel, std::ostream &err)
Validates the given UMB model and writes potential errors to the given output stream.
Definition Validation.cpp:110
storm::umb::validateOrThrow
void validateOrThrow(storm::umb::UmbModel const &umbModel)
Validates the given UMB model.
Definition Validation.cpp:572