FileTypes.h File Reference

#include <optional>
#include <type_traits>
#include <vector>

Include dependency graph for FileTypes.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	storm::umb::AnyValueType

Namespaces
namespace	storm
namespace	storm::storage
namespace	storm::umb

Typedefs
template<typename T>
using	storm::umb::VectorType = std::conditional_t<std::is_same_v<T, bool>, storm::storage::BitVector, std::vector<T>>
template<typename T>
using	storm::umb::OptionalVectorType = std::optional<VectorType<T>>
template<typename T>
using	storm::umb::TO1 = std::conditional_t<std::is_same_v<T, AnyValueType>, GenericVector, OptionalVectorType<T>>
template<typename T>
using	storm::umb::SEQ = TO1<T>
using	storm::umb::CSR = OptionalVectorType<uint64_t>