DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <StringTools.hh>
Public Types | |
typedef std::basic_string< CharT, Traits, Alloc > | String |
Public Member Functions | |
String | operator() (String str) const |
This is a functor that is used to encapsulate a string s with a couple of delimiter left and right
For example StringDelimiter<char,'(',')'>()("toto") returns the string "(toto)". This function is used to design delimitations of state labels (like Braces, Parentheses, ....) of state labels
Definition at line 164 of file StringTools.hh.
typedef std::basic_string<CharT, Traits, Alloc> Diades::Utils::StringDelimiter< CharT, left, right, Traits, Alloc >::String |
Definition at line 167 of file StringTools.hh.
|
inline |
Definition at line 172 of file StringTools.hh.