cfl_project.cpp File Reference

projection and subset construction More...

#include "cfl_project.h"
#include "cfl_regular.h"
#include "cfl_definitions.h"
#include "cfl_parallel.h"
#include "cfl_graphfncts.h"
#include "cfl_localgen.h"
#include "cfl_agenerator.h"
#include <vector>
#include <string>
#include <sstream>
#include "cfl_determin.h"

Go to the source code of this file.

Classes
struct	faudes::TGraph< VLabel, ELabel >
	A graph is modelled as a map from vertex-labels to nodes. More...
struct	faudes::TNode< VLabel, ELabel >
	A node represents the edges related to one individual vertex. More...
struct	faudes::node_entry_t< VLabel, ELabel >
	A node-entry represents one edge. More...
struct	faudes::graph_iterator_t< VLabel, ELabel >
	An iterators over the map of all nodes is interpreted as a state incl. More...
struct	faudes::node_iterator_t< VLabel, ELabel >
	An iterator over the set of edges related to one vertex is interpreted as a transition. More...
struct	faudes::TGraph< Idx, Idx >
	Specialisation of the graph template to provide convenience methods addressing the intended ussage. More...
Namespaces
namespace	faudes
	libFAUDES resides within the namespace faudes.
Typedefs
typedef TNode< Idx, Idx >	faudes::Node
typedef TGraph< Idx, Idx >	faudes::Graph
Functions
void	faudes::ProjectNonDet_opitz (Generator &rGen, const EventSet &rProjectAlphabet)
void	faudes::ProjectNonDet_ref (Generator &rGen, const EventSet &rProjectAlphabet)
void	faudes::ProjectNonDet_graph (Generator &rGen, const EventSet &rProjectAlphabet)
void	faudes::ProjectNonDet_simple (Generator &rGen, const EventSet &rProjectAlphabet)
void	faudes::ProjectNonDet_barthel (Generator &rGen, const EventSet &rProjectAlphabet)
void	faudes::ProjectNonDet_fbr (Generator &rGen, const EventSet &rProjectAlphabet)
void	faudes::ProjectNonDet_scc (Generator &rGen, const EventSet &rProjectAlphabet)
void	faudes::ProjectNonDet (Generator &rGen, const EventSet &rProjectAlphabet)
	Language projection.
void	faudes::ProjectNonDetScc (Generator &rGen, const EventSet &rProjectAlphabet)
	Language projection.
void	faudes::Project (const Generator &rGen, const EventSet &rProjectAlphabet, Generator &rResGen)
	Deterministic projection.
void	faudes::aProjectNonDet (Generator &rGen, const EventSet &rProjectAlphabet)
	Language projection.
void	faudes::aProject (const Generator &rGen, const EventSet &rProjectAlphabet, Generator &rResGen)
	Deterministic projection.
void	faudes::Project (const Generator &rGen, const EventSet &rProjectAlphabet, std::map< Idx, StateSet > &rEntryStatesMap, Generator &rResGen)
	Deterministic projection.
void	faudes::InvProject (Generator &rGen, const EventSet &rProjectAlphabet)
	Inverse projection.
void	faudes::aInvProject (Generator &rGen, const EventSet &rProjectAlphabet)
	Inverse projection.
void	faudes::aInvProject (const Generator &rGen, const EventSet &rProjectAlphabet, Generator &rResGen)
	Inverse projection.
void	faudes::CreateEntryStatesMap (const std::map< StateSet, Idx > &rRevEntryStatesMap, std::map< Idx, StateSet > &rEntryStatesMap)

---

Detailed Description

projection and subset construction

Definition in file cfl_project.cpp.