8#include <string/LinearString.h>
15template <
class SymbolType >
21template <
class SymbolType >
25 std::istreambuf_iterator < char > input_iter ( input.
rdbuf ( ) );
26 input >> std::noskipws;
28 for ( ; input_iter != std::istreambuf_iterator < char > ( ); ++ input_iter ) {
29 data.push_back (
SymbolType ( * input_iter ) );
34template <
class SymbolType >
36 for(
const SymbolType & symbol :
string.getContent()) {
std::streambuf * rdbuf() const
Definition: istream.cpp:88
Class extending the vector class from the standard library. Original reason is to allow printing of t...
Definition: vector.hpp:45
Linear string.
Definition: LinearString.h:57
typename T::SymbolType SymbolType
Definition: ReachableStates.h:176
Definition: normalize.hpp:10
std::string to_string(const T &value)
To string method designated for objects that can be casted to string.
Definition: string.hpp:131
Definition: RandomStringFactory.cpp:12
Definition: rawApi.hpp:11