storm::umb::StringsBuilder Class Reference

#include <StringEncoding.h>

Public Member Functions
	StringsBuilder (typename SEQ< char >::value_type &strings, typename CSR::value_type &stringMapping)
void	reserve (uint64_t numStrings)
std::string_view	at (uint64_t index) const
std::size_t	size () const
uint64_t	push_back (std::string_view str)
	inserts the string at the end of the vector and returns its index
uint64_t	findOrPushBack (std::string_view str)
	If the given string already exists, returns its index.
void	finalize ()

Detailed Description

Definition at line 22 of file StringEncoding.h.

Constructor & Destructor Documentation

StringsBuilder()

storm::umb::StringsBuilder::StringsBuilder ( typename SEQ< char >::value_type & strings, typename CSR::value_type & stringMapping )

inline

Definition at line 24 of file StringEncoding.h.

Member Function Documentation

at()

std::string_view storm::umb::StringsBuilder::at ( uint64_t index ) const

inline

Definition at line 37 of file StringEncoding.h.

finalize()

void storm::umb::StringsBuilder::finalize ( )

inline

Definition at line 71 of file StringEncoding.h.

findOrPushBack()

uint64_t storm::umb::StringsBuilder::findOrPushBack ( std::string_view str )

inline

If the given string already exists, returns its index.

Otherwise, inserts it at the end and returns the new index.

Definition at line 59 of file StringEncoding.h.

push_back()

uint64_t storm::umb::StringsBuilder::push_back ( std::string_view str )

inline

inserts the string at the end of the vector and returns its index

Note

does not check for duplicates

Definition at line 50 of file StringEncoding.h.

reserve()

void storm::umb::StringsBuilder::reserve ( uint64_t numStrings )

inline

Definition at line 32 of file StringEncoding.h.

size()

std::size_t storm::umb::StringsBuilder::size ( ) const

inline

Definition at line 42 of file StringEncoding.h.

---

The documentation for this class was generated from the following file:

• src/storm/storage/umb/model/StringEncoding.h