cfl_regular.h File Reference

#include "cfl_definitions.h"
#include "cfl_parallel.h"
#include "cfl_project.h"

Go to the source code of this file.

Namespaces
	faudes

Macros
#define	FAUDES_REGULAR_H

Functions
void	faudes::LanguageUnionNonDet (const Generator &rGen1, const Generator &rGen2, Generator &rResGen)
void	faudes::LanguageUnion (const Generator &rGen1, const Generator &rGen2, Generator &rResGen)
void	faudes::LanguageUnion (const GeneratorVector &rGenVec, Generator &rResGen)
void	faudes::LanguageIntersection (const Generator &rGen1, const Generator &rGen2, Generator &rResGen)
void	faudes::LanguageIntersection (const GeneratorVector &rGenVec, Generator &rResGen)
bool	faudes::EmptyLanguageIntersection (const Generator &rGen1, const Generator &rGen2)
bool	faudes::LanguageDisjoint (const Generator &rGen1, const Generator &rGen2)
void	faudes::Automaton (Generator &rGen)
void	faudes::Automaton (Generator &rGen, const EventSet &rAlphabet)
void	faudes::LanguageComplement (Generator &rGen)
void	faudes::LanguageComplement (Generator &rGen, const EventSet &rAlphabet)
void	faudes::LanguageComplement (const Generator &rGen, Generator &rRes)
void	faudes::LanguageComplement (const Generator &rGen, const EventSet &rSigma, Generator &rRes)
void	faudes::LanguageDifference (const Generator &rGen1, const Generator &rGen2, Generator &rResGen)
void	faudes::LanguageConcatenateNonDet (const Generator &rGen1, const Generator &rGen2, Generator &rResGen)
void	faudes::LanguageConcatenate (const Generator &rGen1, const Generator &rGen2, Generator &rResGen)
void	faudes::FullLanguage (const EventSet &rAlphabet, Generator &rResGen)
void	faudes::AlphabetLanguage (const EventSet &rAlphabet, Generator &rResGen)
void	faudes::EmptyStringLanguage (const EventSet &rAlphabet, Generator &rResGen)
void	faudes::EmptyLanguage (const EventSet &rAlphabet, Generator &rResGen)
bool	faudes::IsEmptyLanguage (const Generator &rGen)
bool	faudes::LanguageInclusion (const Generator &rGen1, const Generator &rGen2)
bool	faudes::LanguageEquality (const Generator &rGen1, const Generator &rGen2)
void	faudes::KleeneClosure (Generator &rGen)
void	faudes::KleeneClosure (const Generator &rGen, Generator &rResGen)
void	faudes::KleeneClosureNonDet (Generator &rGen)
void	faudes::PrefixClosure (Generator &rGen)
bool	faudes::IsPrefixClosed (const Generator &rGen)
bool	faudes::IsNonblocking (const Generator &rGen)
bool	faudes::IsNonblocking (const Generator &rGen1, const Generator &rGen2)
void	faudes::SelfLoop (Generator &rGen, const EventSet &rAlphabet)
void	faudes::SelfLoopMarkedStates (Generator &rGen, const EventSet &rAlphabet)
void	faudes::SelfLoop (Generator &rGen, const EventSet &rAlphabet, const StateSet &rStates)

Detailed Description

Operations on regular languages. See [Cassandras and Lafortune. Introduction to Discrete Event Systems] for an introduction to regular language operations. Operations are always performed on language(s) marked by the passed generator(s), resulting in the language(s) marked by the resulting generator(s). Only if mentioned extra, the same is done for the involved generated (prefix-closed) languages.

Definition in file cfl_regular.h.

Macro Definition Documentation

FAUDES_REGULAR_H

#define FAUDES_REGULAR_H

Definition at line 1008 of file cfl_regular.h.