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.