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.
void faudes::SupRelativelyPrefixClosed (const Generator &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
 Supremal Relatively Closed Sublanguage.
void faudes::SupRelativelyPrefixClosedUnchecked (const Generator &rPlantGen, const Generator &rSpecGen, std::map< std::pair< Idx, Idx >, Idx > &rCompositionMap, Generator &rResGen)
 Supremal Relatively Closed Sublanguage (internal function).
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.23h --- 2014.04.03 --- c++ api documentaion by doxygen