Misc functions related to synthesis.
More...
#include "corefaudes.h"
Go to the source code of this file.
|
| | faudes |
| | libFAUDES resides within the namespace faudes.
|
| |
|
| bool | faudes::IsRelativelyMarked (const Generator &rGenPlant, const Generator &rGenCand) |
| | Test for relative marking. More...
|
| |
| bool | faudes::IsRelativelyPrefixClosed (const Generator &rGenPlant, const Generator &rGenCand) |
| | Test for relative prefix-closedness. More...
|
| |
| void | faudes::SupRelativelyPrefixClosed (const Generator &rPlantGen, const Generator &rSpecGen, Generator &rResGen) |
| | Supremal Relatively Closed Sublanguage. More...
|
| |
| 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) More...
|
| |
| bool | faudes::IsRelativelyOmegaMarked (const Generator &rGenPlant, const Generator &rGenCand) |
| | Test for relative marking, omega langauges. More...
|
| |
| bool | faudes::IsRelativelyOmegaClosed (const Generator &rGenPlant, const Generator &rGenCand) |
| | Test for relative closedness, omega languages. More...
|
| |
| bool | faudes::IsRelativelyOmegaClosedUnchecked (const Generator &rGenPlant, const Generator &rGenCand) |
| | Test for relative closedness, omega languages. More...
|
| |
Misc functions related to synthesis.
Definition in file syn_functions.h.