About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES

Sections

Index

syn_functions.cpp File Reference

Misc functions related to synthesis. More...

#include "syn_functions.h"
#include "corefaudes.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.


Functions

bool faudes::IsRelativelyMarked (const Generator &rGenPlant, const Generator &rGenCand)
 Test for relative marking.
bool faudes::IsRelativelyPrefixClosed (const Generator &rGenPlant, const Generator &rGenCand)
 Test for relative prefix-closedness.
bool faudes::IsRelativelyOmegaMarked (const Generator &rGenPlant, const Generator &rGenCand)
 Test for relative marking, omega langauges.
bool faudes::IsRelativelyOmegaClosed (const Generator &rGenPlant, const Generator &rGenCand)
 Test for relative closedness, omega languages.
bool faudes::IsRelativelyOmegaClosedUnchecked (const Generator &rGenPlant, const Generator &rGenCand)
 Test for relative closedness, omega languages.

Detailed Description

Misc functions related to synthesis.

Definition in file syn_functions.cpp.

libFAUDES 2.20s --- 2011.10.12 --- c++ source docu by doxygen