#include <StatePropertyManager.hh>

Public Types
using	StateProperty = _StateProperty

Public Member Functions
template<typename StatePropertyIterator >
StateProperty	operator() (StateProperty source, StatePropertyIterator begin, StatePropertyIterator end)

Detailed Description

template<typename _StateProperty, typename charT, charT sep, typename BinaryDisjunction, typename Delimiter>
class Diades::Automata::Experimental::DiGraphComponentStartingWith< _StateProperty, charT, sep, BinaryDisjunction, Delimiter >

This functor is used to design State Labels that represents a directed graph component that starts with a given state label

StateInfo is a kind of State Label firstSeparator is a character that separates the first state from the rest BinaryDisjunction is a BinaryCombination like StringBinaryCombination Delimiter is a Delimiter like StringDelimiter

For example DiGraphComponentStartingWith<std::string,char,'|',StringBinaryCombination<char,','>,StringDelimiter<char,'(',')'>> applied to the range of labels "l1", "l2", "l3" is the string "(l1|l2,l3)" It means that it is a component of the Graph, the input edges are the one of l1, l2 and l3 are in a way connected to l1 by some transitions

Definition at line 66 of file StatePropertyManager.hh.

Member Typedef Documentation

◆ StateProperty

template<typename _StateProperty , typename charT , charT sep, typename BinaryDisjunction , typename Delimiter >

using Diades::Automata::Experimental::DiGraphComponentStartingWith< _StateProperty, charT, sep, BinaryDisjunction, Delimiter >::StateProperty = _StateProperty

Definition at line 69 of file StatePropertyManager.hh.

Member Function Documentation

◆ operator()()

template<typename _StateProperty , typename charT , charT sep, typename BinaryDisjunction , typename Delimiter >

template<typename StatePropertyIterator >

StateProperty Diades::Automata::Experimental::DiGraphComponentStartingWith< _StateProperty, charT, sep, BinaryDisjunction, Delimiter >::operator()	(	StateProperty	source,
		StatePropertyIterator	begin,
		StatePropertyIterator	end
	)

inline

Definition at line 72 of file StatePropertyManager.hh.

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

/home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/StatePropertyManager.hh

Public Types