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 str1, const String &str2) const |
This is a functor that is used to combine two strings s1 and s2 by adding a separator character between the two strings.
For example StringBinaryCombination<char,'|'>()("toto","titi") returns the string "toto|titi". This function is used to design binary combinations (like BinaryDisjunction, BinaryConjunction...) of labels
Definition at line 132 of file StringTools.hh.
typedef std::basic_string<CharT, Traits, Alloc> Diades::Utils::StringBinaryCombination< CharT, separator, Traits, Alloc >::String |
Definition at line 135 of file StringTools.hh.
|
inline |
Definition at line 140 of file StringTools.hh.