regexp::properties::RegExpEpsilon Class Reference

#include <RegExpEpsilon.h>

Data Structures
class	Formal
class	Unbounded

Static Public Member Functions
template<class SymbolType >
static bool	languageContainsEpsilon (const regexp::FormalRegExpElement< SymbolType > &regexp)
template<class SymbolType >
static bool	languageContainsEpsilon (const regexp::FormalRegExpStructure< SymbolType > &regexp)
template<class SymbolType >
static bool	languageContainsEpsilon (const regexp::FormalRegExp< SymbolType > &regexp)
template<class SymbolType >
static bool	languageContainsEpsilon (const regexp::UnboundedRegExpElement< SymbolType > &regexp)
template<class SymbolType >
static bool	languageContainsEpsilon (const regexp::UnboundedRegExpStructure< SymbolType > &regexp)
template<class SymbolType >
static bool	languageContainsEpsilon (const regexp::UnboundedRegExp< SymbolType > &regexp)

Detailed Description

Determines whether regular expression (or its subtree) describes a language containing epsilon (\eps \in h(regexp)).

Member Function Documentation

languageContainsEpsilon() [1/6]

template<class SymbolType >

bool regexp::properties::RegExpEpsilon::languageContainsEpsilon ( const regexp::FormalRegExp< SymbolType > &  regexp )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Here is the call graph for this function:

languageContainsEpsilon() [2/6]

template<class SymbolType >

bool regexp::properties::RegExpEpsilon::languageContainsEpsilon ( const regexp::FormalRegExpElement< SymbolType > &  regexp )

static

Determines whether regular expression describes a language containing epsilon (\eps \in h(regexp)).

Template Parameters

SymbolType

the type of symbol in the tested regular expression

Parameters

regexp

the regexp to test

Returns

true of the language described by the regular expression contains epsilon

Here is the caller graph for this function:

languageContainsEpsilon() [3/6]

template<class SymbolType >

bool regexp::properties::RegExpEpsilon::languageContainsEpsilon ( const regexp::FormalRegExpStructure< SymbolType > &  regexp )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Here is the call graph for this function:

languageContainsEpsilon() [4/6]

template<class SymbolType >

bool regexp::properties::RegExpEpsilon::languageContainsEpsilon ( const regexp::UnboundedRegExp< SymbolType > &  regexp )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Here is the call graph for this function:

languageContainsEpsilon() [5/6]

template<class SymbolType >

bool regexp::properties::RegExpEpsilon::languageContainsEpsilon ( const regexp::UnboundedRegExpElement< SymbolType > &  regexp )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

languageContainsEpsilon() [6/6]

template<class SymbolType >

bool regexp::properties::RegExpEpsilon::languageContainsEpsilon ( const regexp::UnboundedRegExpStructure< SymbolType > &  regexp )

static

This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

Here is the call graph for this function:

---

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

• alib2algo/src/regexp/properties/RegExpEpsilon.h