|
| bool | faudes::CompleteSynth (const Generator &rPlant, const EventSet rCAlph, const Generator &rSpec, Generator &rClosedLoop) |
| | CompleteSynth: compute supremal complete and controllable (and closed) sublanguage. More...
|
| |
| bool | faudes::NormalCompleteSynth (Generator &rPlant, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rSpec, Generator &rClosedLoop) |
| | NormalCompleteSynth: compute normal, complete and controllable (and closed) sublanguage. More...
|
| |
| bool | faudes::NormalCompleteSynthNB (Generator &rPlant, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rSpec, Generator &rClosedLoop) |
| | NormalCompleteSynthNB: compute normal, complete, controllable and nonblocking sublanguage. More...
|
| |
| Generator | faudes::HioSortCL (const EventSet &rYc, const EventSet &rUc, const EventSet &rYp, const EventSet &rUp, const EventSet &rYe, const EventSet &rUe) |
| | IoSortCL: returns IO-sorting structure required for closed loops. More...
|
| |
| void | faudes::HioFreeInput (const Generator &rGen, const EventSet &rInput, const EventSet &rOutput, Generator &rResGen, const std::string &rErrState1, const std::string &rErrState2, Idx &rErrState1Idx, Idx &rErrState2Idx) |
| | HioFreeInput: extend generator by obviously missing input transitions. More...
|
| |
| void | faudes::HioFreeInput (const Generator &rGen, const EventSet &rInput, const EventSet &rOutput, Generator &rResGen, const std::string &rErrState1, const std::string &rErrState2) |
| | HioFreeInput: extend generator by obviously missing input transitions. More...
|
| |
| void | faudes::HioFreeInput (const Generator &rGen, const EventSet &rInput, const EventSet &rOutput, Generator &rResGen) |
| | HioFreeInput: extend generator by obviously missing input transitions. More...
|
| |
| void | faudes::HioFreeInput (const HioPlant &rPlant, HioPlant &rResPlant) |
| | HioFreeInput: extend HioPlant by obviously missing input transitions. More...
|
| |
| void | faudes::HioFreeInput (const HioController &rController, HioController &rResController) |
| | HioFreeInput: extend HioController by obviously missing input transitions. More...
|
| |
| void | faudes::HioFreeInput (const HioEnvironment &rEnvironment, HioEnvironment &rResEnvironment) |
| | HioFreeInput: extend HioEnvironment by obviously missing input transitions. More...
|
| |
| void | faudes::HioFreeInput (const HioConstraint &rConstraint, HioConstraint &rResConstraint) |
| | HioFreeInput: extend HioConstraint by obviously missing input transitions. More...
|
| |
| void | faudes::HioFreeInput (HioPlant &rPlant) |
| | HioFreeInput: convenience interface to faudes::HioFreeInput(const HioPlant&, HioPlant) More...
|
| |
| void | faudes::HioFreeInput (HioController &rController) |
| | HioFreeInput: convenience interface to faudes::HioFreeInput(const HioController&, HioController) More...
|
| |
| void | faudes::HioFreeInput (HioEnvironment &rEnvironment) |
| | HioFreeInput: convenience interface to faudes::HioFreeInput(const HioEnvironment&, HioEnvironment) More...
|
| |
| void | faudes::HioFreeInput (HioConstraint &rConstraint) |
| | HioFreeInput: convenience interface to faudes::HioFreeInput(const HioConstraint&, HioConstraint) More...
|
| |
| void | faudes::MarkHioShuffle (const Generator &rGen1, const Generator &rGen2, const std::map< std::pair< Idx, Idx >, Idx > &rReverseCompositionMap, Generator &rShuffle) |
| | MarkHioShuffle: marking rule for HioShuffle() in case of marked parameters rGen1 and rGen2 - UNDER CONSTRUCTION. More...
|
| |
| void | faudes::CheapAltAnB (const EventSet rAset, const EventSet rBset, const int Depth, Generator &rAltAnB) |
| | CheapAltAnB: returns Generator of the following specification: "After a maximum of n (=depth) pairs of
A-transitions, a B-transition has to occur!". More...
|
| |
| void | faudes::CheapAltAB (const EventSet rAset, const EventSet rBset, const int Depth, Generator &rAltAB) |
| | CheapAltAB: returns Generator of the following specification: "After a maximum of n (=depth) pairs of
A-transitions, a B-transition has to occur and vice-versa!". More...
|
| |
| void | faudes::MarkAlternationAB (const EventSet rAset, const EventSet rBset, Generator &rAltAB) |
| | MarkAlternationAB: returns Generator marking the alternation of Aset-transitions with Bset-transitions. More...
|
| |
| void | faudes::HioShuffleUnchecked (const Generator &rPlantA, const Generator &rPlantB, const EventSet &rYp, const EventSet &rUp, const EventSet &rYe, const EventSet &rUe, Generator &rIOShuffAB) |
| | HioShuffleUnchecked: IO-shuffle of rPlantA and rPlantB according to definition, no parameter check. More...
|
| |
| void | faudes::HioShuffle (const Generator &rPlantA, const Generator &rPlantB, const EventSet &rYp, const EventSet &rUp, const EventSet &rYe, const EventSet &rUe, Generator &rIOShuffAB) |
| | HioShuffle: IO-shuffle of rPlantA and rPlantB according to definition. More...
|
| |
| void | faudes::HioShuffle (const HioPlant &rPlantA, const HioPlant &rPlantB, HioPlant &rIOShuffAB) |
| | HioShuffle: IO-shuffle of rPlantA and rPlantB according to definition. More...
|
| |
| void | faudes::HioShuffleTU (const Generator &rPlantA, const Generator &rPlantB, const EventSet &rYp, const EventSet &rUp, const EventSet &rYe, const EventSet &rUe, const int Depth, Generator &rIOShuffAB) |
| | HioShuffleTU: IO-shuffle of rPlantA and rPlantB according to definition with additional forced alternation of depth Depth (see CheapAltAB()) between A- and B-events. More...
|
| |
| void | faudes::SearchYclessScc (const Idx state, int &rcount, const Generator &rGen, const EventSet &rYc, const bool UnMarkedOnly, StateSet &rNewStates, std::stack< Idx > &rSTACK, StateSet &rStackStates, std::map< const Idx, int > &rDFN, std::map< const Idx, int > &rLOWLINK, std::set< StateSet > &rSccSet, StateSet &rRoots) |
| | SearchYclessSCC: Search for strongly connected ycless components (YC-less SCC's). More...
|
| |
| bool | faudes::YclessScc (const Generator &rGen, const EventSet &rYc, std::set< StateSet > &rSccSet, StateSet &rRoots) |
| | YclessSCC: Search for strongly connected ycless components (YC-less SCC's) - convenience api. More...
|
| |
| bool | faudes::YclessUnmarkedScc (const Generator &rGen, const EventSet &rYc, std::set< StateSet > &rSccSet, StateSet &rRoots) |
| | YclessUnmarkedSCC: Search for strongly connected ycless components (YC-less SCC's) consisting of unmarked states only. More...
|
| |
| FAUDES_API bool | faudes::YclessSCC (const Generator &rGen, const EventSet &rYc, std::set< StateSet > &rSccSet) |
| | YclessSCC: Search for strongly connected ycless components (YC-less SCC's) - convenience api. More...
|
| |
| bool | faudes::IsYcLive (const Generator &rGen, const EventSet &rYc) |
| | IsYcLive: This function checks if generator is Yc-live. More...
|
| |
| void | faudes::WriteStateSets (const std::set< StateSet > &rStateSets) |
| | WriteStateSets: Write set of StateSet's to console (indeces). More...
|
| |
| void | faudes::WriteStateSets (const Generator &rGen, const std::set< StateSet > &rStateSets) |
| | WriteStateSets: Write set of StateSet's to console (symbolic state names taken from rGen). More...
|
| |
| void | faudes::SccEntries (const Generator &rGen, const std::set< StateSet > &rSccSet, StateSet &rEntryStates, TransSetX2EvX1 &rEntryTransSet) |
| | SCCEntries: figure entry states and entry transitions of strongly connected components rSccSet of rGen. More...
|
| |
| void | faudes::CloneScc (Generator &rGen, const StateSet &rScc, std::set< StateSet > &rSccSet, const Idx EntryState, StateSet &rEntryStates, TransSetX2EvX1 &rEntryTransSet) |
| | cloneSCC: makes a copy (clone) of strongly connected component (rSCC) of the generator and moves all transitions leading to some entry state EntryState of this SCC to the copy of EntryState. More...
|
| |
| void | faudes::CloneUnMarkedScc (Generator &rGen, const StateSet &rScc, const Idx EntryState, const StateSet &rEntryStates, TransSetX2EvX1 &rEntryTransSet) |
| | CloneUnMarkedSCC: makes a copy (clone) of strongly connected unmarked component (rSCC) of rGen. More...
|
| |
| void | faudes::YcAcyclic (const Generator &rGen, const EventSet &rYc, Generator &rResGen) |
| | YcAcyclic: Computes the supremal(?) Yc-acyclic sublanguage of L(Gen). More...
|
| |
| void | faudes::ConstrSynth_Beta (Generator &rPlant, const EventSet &rYp, const EventSet &rUp, const Generator &rLocConstr, Generator &rOpConstraint) |
| | ConstrSynth_Beta: compute operator constraint Sp for plant under environment constraint Sl such that plant is complete & Yp-live wrt both constraints - Beta Version. More...
|
| |
| void | faudes::HioSynthUnchecked (const Generator &rPlant, const Generator &rSpec, const Generator &rConstr, const Generator &rLocConstr, const EventSet &rYc, const EventSet &rUc, const EventSet &rYp, const EventSet &rUp, const EventSet &rYel, const EventSet &rUel, Generator &rController) |
| | HioSynthUnchecked: I/O controller synthesis procedure, no parameter check. More...
|
| |
| void | faudes::HioSynth (const Generator &rPlant, const Generator &rSpec, const Generator &rConstr, const Generator &rLocConstr, const EventSet &rYc, const EventSet &rUc, const EventSet &rYp, const EventSet &rUp, const EventSet &rYel, const EventSet &rUel, Generator &rController) |
| | HioSynthUnchecked: I/O controller synthesis procedure. More...
|
| |
| void | faudes::HioSynthMonolithic (const HioPlant &rPlant, const HioPlant &rSpec, const HioConstraint &rSc, const HioConstraint &rSp, const HioConstraint &rSe, HioController &rController) |
| | HioSynthMonolithic: I/O controller synthesis procedure for monolithic plant. More...
|
| |
| void | faudes::HioSynthHierarchical (const HioPlant &rHioShuffle, const HioEnvironment &rEnvironment, const HioPlant &rSpec, const Generator &rIntConstr, const HioConstraint &rSc, const HioConstraint &rSl, HioController &rController) |
| | HioSynthHierarchical: I/O controller synthesis procedure for I/O-shuffle of i plants and their interaction via an I/O environment. More...
|
| |
| void | faudes::HioShuffle_Musunoi (const HioPlant &rPlantA, const HioPlant &rPlantB, int depth, Generator &rIOShuffAB) |
| |
| void | faudes::HioSynth_Musunoi (const Generator &rPlant, const HioPlant &rSpec, const Generator &rConstr, const Generator &rLocConstr, const EventSet &rYp, const EventSet &rUp, Generator &rController) |
| |