DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <StringTools.hh>
Public Types | |
using | Property = _Property |
Public Member Functions | |
template<typename PropertyIterator > | |
Property | operator() (PropertyIterator begin, PropertyIterator end) |
This functor is used to design Labels that represents conjunction of labels. _Property is a kind of Label (std::string) BinaryConjunction is a BinaryCombination like StringBinaryCombination Delimiter is a Delimiter like StringDelimiter
For example Conjunction<std::string,StringBinaryCombination<char,'&'>,StringDelimiter<char,'(',')'>> applied to the range of labels "l1", "l2", "l3" is the string "(l1&l2&l3)"
Definition at line 249 of file StringTools.hh.
using Diades::Utils::Conjunction< _Property, BinaryConjunction, Delimiter >::Property = _Property |
Definition at line 252 of file StringTools.hh.
|
inline |
Definition at line 255 of file StringTools.hh.