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 vGenerator &rGenPlant, const vGenerator &rGenCand)
 Test for relative marking.
bool faudes::IsRelativelyPrefixClosed (const vGenerator &rGenPlant, const vGenerator &rGenCand)
 Test for relative prefix-closedness.
bool faudes::IsRelativelyOmegaMarked (const vGenerator &rGenPlant, const vGenerator &rGenCand)
 Test for relative marking, omega langauges.
bool faudes::IsRelativelyOmegaClosed (const vGenerator &rGenPlant, const vGenerator &rGenCand)
 Test for relative closedness, omega languages.
bool faudes::IsRelativelyOmegaClosedUnchecked (const vGenerator &rGenPlant, const vGenerator &rGenCand)
 Test for relative closedness, omega languages.

Detailed Description

Misc functions related to synthesis.

Definition in file syn_functions.cpp.

libFAUDES 2.18b --- 2010-12-17 --- c++ source docu by doxygen 1.6.3