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