DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Types | Public Member Functions | List of all members
Diades::Utils::Disjunction< _Property, BinaryDisjunction, Delimiter > Class Template Reference

#include <StringTools.hh>

Public Types

using Property = _Property
 

Public Member Functions

template<typename PropertyIterator >
Property operator() (PropertyIterator begin, PropertyIterator end) const
 

Detailed Description

template<typename _Property, typename BinaryDisjunction, typename Delimiter>
class Diades::Utils::Disjunction< _Property, BinaryDisjunction, Delimiter >

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.

Member Typedef Documentation

◆ Property

template<typename _Property , typename BinaryDisjunction , typename Delimiter >
using Diades::Utils::Disjunction< _Property, BinaryDisjunction, Delimiter >::Property = _Property

Definition at line 220 of file StringTools.hh.

Member Function Documentation

◆ operator()()

template<typename _Property , typename BinaryDisjunction , typename Delimiter >
template<typename PropertyIterator >
Property Diades::Utils::Disjunction< _Property, BinaryDisjunction, Delimiter >::operator() ( PropertyIterator  begin,
PropertyIterator  end 
) const
inline

Definition at line 223 of file StringTools.hh.


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