DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Types | Public Member Functions | List of all members
Diades::Utils::StringBinaryCombination< CharT, separator, Traits, Alloc > Class Template Reference

#include <StringTools.hh>

Public Types

typedef std::basic_string< CharT, Traits, Alloc > String
 

Public Member Functions

String operator() (String str1, const String &str2) const
 

Detailed Description

template<typename CharT, CharT separator, typename Traits, typename Alloc>
class Diades::Utils::StringBinaryCombination< CharT, separator, Traits, Alloc >

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.

Member Typedef Documentation

◆ String

template<typename CharT, CharT separator, typename Traits, typename Alloc>
typedef std::basic_string<CharT, Traits, Alloc> Diades::Utils::StringBinaryCombination< CharT, separator, Traits, Alloc >::String

Definition at line 135 of file StringTools.hh.

Member Function Documentation

◆ operator()()

template<typename CharT, CharT separator, typename Traits, typename Alloc>
String Diades::Utils::StringBinaryCombination< CharT, separator, Traits, Alloc >::operator() ( String  str1,
const String str2 
) const
inline
Returns
the string str1 + separator + str2

Definition at line 140 of file StringTools.hh.


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