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) const |
This functor is used to design Labels that represents disjunction of labels. _Property is a kind of label (std::string) BinaryDisjunction is a BinaryCombination like StringBinaryCombination Delimiter is a Delimiter like StringDelimiter
For example Disjunction<std::string,StringBinaryCombination<char,'|'>,StringDelimiter<char,'(',')'>> applied to the range of labels "l1", "l2", "l3" is the string "(l1|l2|l3)"
Definition at line 217 of file StringTools.hh.
using Diades::Utils::Disjunction< _Property, BinaryDisjunction, Delimiter >::Property = _Property |
Definition at line 220 of file StringTools.hh.
|
inline |
Definition at line 223 of file StringTools.hh.