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

#include <StringTools.hh>

Public Types

using Property = _Property
 

Public Member Functions

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

Detailed Description

template<typename _Property, typename BinaryConjunction, typename Delimiter>
class Diades::Utils::Conjunction< _Property, BinaryConjunction, Delimiter >

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.

Member Typedef Documentation

◆ Property

template<typename _Property, typename BinaryConjunction, typename Delimiter>
using Diades::Utils::Conjunction< _Property, BinaryConjunction, Delimiter >::Property = _Property

Definition at line 252 of file StringTools.hh.

Member Function Documentation

◆ operator()()

template<typename _Property, typename BinaryConjunction, typename Delimiter>
template<typename PropertyIterator >
Property Diades::Utils::Conjunction< _Property, BinaryConjunction, Delimiter >::operator() ( PropertyIterator  begin,
PropertyIterator  end 
)
inline

Definition at line 255 of file StringTools.hh.


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