|
Storm 1.13.0.1
A Modern Probabilistic Model Checker
|
Functions | |
| bool | validateCsr (auto const &csr, std::string_view const name, uint64_t numMappedElements, std::optional< uint64_t > expectedlastEntry, std::ostream &err) |
| bool | validateTypeDeclaration (storm::umb::SizedType const &type, bool requireStandardSize, std::ostream &err) |
| bool | vectorMatchesType (storm::umb::GenericVector const &vector, storm::umb::SizedType const &type) |
| bool storm::umb::validation::validateCsr | ( | auto const & | csr, |
| std::string_view const | name, | ||
| uint64_t | numMappedElements, | ||
| std::optional< uint64_t > | expectedlastEntry, | ||
| std::ostream & | err ) |
Definition at line 15 of file Validation.cpp.
| bool storm::umb::validation::validateTypeDeclaration | ( | storm::umb::SizedType const & | type, |
| bool | requireStandardSize, | ||
| std::ostream & | err ) |
Definition at line 39 of file Validation.cpp.
| bool storm::umb::validation::vectorMatchesType | ( | storm::umb::GenericVector const & | vector, |
| storm::umb::SizedType const & | type ) |
Definition at line 80 of file Validation.cpp.