regexp::properties::RegExpEmpty Class Reference

#include <RegExpEmpty.h>

Data Structures
class	Formal
class	Unbounded

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

Detailed Description

Determines whether regular expression (or its subtree) describes an empty language (regexp == \0)

Member Function Documentation

languageIsEmpty() [1/6]

template<class SymbolType >

bool regexp::properties::RegExpEmpty::languageIsEmpty ( const regexp::FormalRegExp< SymbolType > &  regexp )

static

\override

Here is the call graph for this function:

languageIsEmpty() [2/6]

template<class SymbolType >

bool regexp::properties::RegExpEmpty::languageIsEmpty ( const regexp::FormalRegExpElement< SymbolType > &  regexp )

static

Determines whether regular expression is describes an empty language (regexp == \0)

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 is empty

Here is the caller graph for this function:

languageIsEmpty() [3/6]

template<class SymbolType >

bool regexp::properties::RegExpEmpty::languageIsEmpty ( const regexp::FormalRegExpStructure< SymbolType > &  regexp )

static

\override

Here is the call graph for this function:

languageIsEmpty() [4/6]

template<class SymbolType >

bool regexp::properties::RegExpEmpty::languageIsEmpty ( const regexp::UnboundedRegExp< SymbolType > &  regexp )

static

\override

Here is the call graph for this function:

languageIsEmpty() [5/6]

template<class SymbolType >

bool regexp::properties::RegExpEmpty::languageIsEmpty ( const regexp::UnboundedRegExpElement< SymbolType > &  regexp )

static

\override

languageIsEmpty() [6/6]

template<class SymbolType >

bool regexp::properties::RegExpEmpty::languageIsEmpty ( const regexp::UnboundedRegExpStructure< SymbolType > &  regexp )

static

\override

Here is the call graph for this function:

---

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

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