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.