syn_functions.cpp File Reference

#include "syn_functions.h"

Go to the source code of this file.

Namespaces
	faudes

Functions
bool	faudes::IsRelativelyMarked (const Generator &rGenPlant, const Generator &rGenCand)
bool	faudes::IsRelativelyPrefixClosed (const Generator &rGenPlant, const Generator &rGenCand)
void	faudes::SupRelativelyPrefixClosed (const Generator &rPlantGen, const Generator &rSpecGen, Generator &rResGen)
void	faudes::SupRelativelyPrefixClosedUnchecked (const Generator &rPlantGen, const Generator &rSpecGen, std::map< std::pair< Idx, Idx >, Idx > &rCompositionMap, Generator &rResGen)
bool	faudes::IsRelativelyOmegaMarked (const Generator &rGenPlant, const Generator &rGenCand)
bool	faudes::IsRelativelyOmegaClosed (const Generator &rGenPlant, const Generator &rGenCand)
bool	faudes::IsRelativelyOmegaClosedUnchecked (const Generator &rGenPlant, const Generator &rGenCand)

Detailed Description

Misc functions related to synthesis

Definition in file syn_functions.cpp.