Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::umb::validation Namespace Reference

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)

Function Documentation

◆ validateCsr()

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.

◆ validateTypeDeclaration()

bool storm::umb::validation::validateTypeDeclaration ( storm::umb::SizedType const & type,
bool requireStandardSize,
std::ostream & err )

Definition at line 39 of file Validation.cpp.

◆ vectorMatchesType()

bool storm::umb::validation::vectorMatchesType ( storm::umb::GenericVector const & vector,
storm::umb::SizedType const & type )

Definition at line 80 of file Validation.cpp.