syn_functions.h File Reference

Misc functions related to synthesis. More...

#include "corefaudes.h"

Go to the source code of this file.

Namespaces

 faudes
 libFAUDES resides within the namespace faudes.
 

Functions

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...
 

Detailed Description

Misc functions related to synthesis.

Definition in file syn_functions.h.

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen