|
|
#include "hio_functions.h"
#include "syn_include.h"
Go to the source code of this file.
|
| bool | faudes::SupNormSP (Generator &rL, const EventSet &rOAlph, const Generator &rK, Generator &rResult) |
| |
| bool | faudes::CompleteSynth (const Generator &rPlant, const EventSet rCAlph, const Generator &rSpec, Generator &rClosedLoop) |
| |
| bool | faudes::NormalCompleteSynth (Generator &rPlant, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rSpec, Generator &rClosedLoop) |
| |
| bool | faudes::NormalCompleteSynthNB (Generator &rPlant, const EventSet &rCAlph, const EventSet &rOAlph, const Generator &rSpec, Generator &rClosedLoop) |
| |
| Generator | faudes::HioSortCL (const EventSet &rYc, const EventSet &rUc, const EventSet &rYp, const EventSet &rUp, const EventSet &rYe, const EventSet &rUe) |
| |
| 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) |
| |
| void | faudes::HioFreeInput (const Generator &rGen, const EventSet &rInput, const EventSet &rOutput, Generator &rResGen, const std::string &rErrState1, const std::string &rErrState2) |
| |
| void | faudes::HioFreeInput (const Generator &rGen, const EventSet &rInput, const EventSet &rOutput, Generator &rResGen) |
| |
| void | faudes::HioFreeInput (const HioPlant &rPlant, HioPlant &rResPlant) |
| |
| void | faudes::HioFreeInput (const HioController &rController, HioController &rResController) |
| |
| void | faudes::HioFreeInput (const HioEnvironment &rEnvironment, HioEnvironment &rResEnvironment) |
| |
| void | faudes::HioFreeInput (const HioConstraint &rConstraint, HioConstraint &rResConstraint) |
| |
| void | faudes::HioFreeInput (HioPlant &rPlant) |
| |
| void | faudes::HioFreeInput (HioController &rController) |
| |
| void | faudes::HioFreeInput (HioEnvironment &rEnvironment) |
| |
| void | faudes::HioFreeInput (HioConstraint &rConstraint) |
| |
| void | faudes::MarkHioShuffle (const Generator &rGen1, const Generator &rGen2, const std::map< std::pair< Idx, Idx >, Idx > &rMapOrigToResult, Generator &rShuffle) |
| |
| void | faudes::MarkAlternationAB (const EventSet rAset, const EventSet rBset, Generator &rAltAB) |
| |
| void | faudes::HioShuffleUnchecked (const Generator &rPlantA, const Generator &rPlantB, const EventSet &rYp, const EventSet &rUp, const EventSet &rYe, const EventSet &rUe, Generator &rIOShuffAB) |
| |
| void | faudes::HioShuffle (const Generator &rPlantA, const Generator &rPlantB, const EventSet &rYp, const EventSet &rUp, const EventSet &rYe, const EventSet &rUe, Generator &rIOShuffAB) |
| |
| void | faudes::HioShuffle (const HioPlant &rPlantA, const HioPlant &rPlantB, HioPlant &rIOShuffAB) |
| |
| void | faudes::CheapAltAnB (const EventSet rAset, const EventSet rBset, const int Depth, Generator &rAltAnB) |
| |
| void | faudes::CheapAltAB (const EventSet rAset, const EventSet rBset, const int Depth, Generator &rAltAB) |
| |
| void | faudes::HioShuffleTU (const Generator &rPlantA, const Generator &rPlantB, const EventSet &rUp, const EventSet &rYp, const EventSet &rYe, const EventSet &rUe, const int Depth, Generator &rIOShuffAB) |
| |
| 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) |
| |
| bool | faudes::YclessScc (const Generator &rGen, const EventSet &rYc, std::set< StateSet > &rSccSet, StateSet &rRoots) |
| |
| bool | faudes::YclessUnmarkedScc (const Generator &rGen, const EventSet &rYc, std::set< StateSet > &rSccSet, StateSet &rRoots) |
| |
| bool | faudes::YclessScc (const Generator &rGen, const EventSet &rYc, std::set< StateSet > &rSccSet) |
| |
| bool | faudes::IsYcLive (const Generator &rGen, const EventSet &rYc) |
| |
| void | faudes::WriteStateSets (const std::set< StateSet > &rStateSets) |
| |
| void | faudes::WriteStateSets (const Generator &rGen, const std::set< StateSet > &rStateSets) |
| |
| void | faudes::SccEntries (const Generator &rGen, const std::set< StateSet > &rSccSet, StateSet &rEntryStates, TransSetX2EvX1 &rEntryTransSet) |
| |
| void | faudes::CloneScc (Generator &rGen, const StateSet &rScc, std::set< StateSet > &rSccSet, const Idx EntryState, StateSet &rEntryStates, TransSetX2EvX1 &rEntryTransSet) |
| |
| void | faudes::CloneUnMarkedScc (Generator &rGen, const StateSet &rScc, const Idx EntryState, const StateSet &rEntryStates, TransSetX2EvX1 &rEntryTransSet) |
| |
| void | faudes::YcAcyclic (const Generator &rGen, const EventSet &rYc, Generator &rResGen) |
| |
| void | faudes::ConstrSynth_Beta (Generator &rPlant, const EventSet &rYp, const EventSet &rUp, const Generator &rLocConstr, Generator &rOpConstraint) |
| |
| void | faudes::HioSynthUnchecked (const Generator &rPlant, const Generator &rSpec, const Generator &rExtConstr, const Generator &rLocConstr, const EventSet &rYc, const EventSet &rUc, const EventSet &rYp, const EventSet &rUp, const EventSet &rYel, const EventSet &rUel, Generator &rController) |
| |
| void | faudes::HioSynth (const Generator &rPlant, const Generator &rSpec, const Generator &rExtConstr, const Generator &rLocConstr, const EventSet &rYc, const EventSet &rUc, const EventSet &rYp, const EventSet &rUp, const EventSet &rYel, const EventSet &rUel, Generator &rController) |
| |
| void | faudes::HioSynthMonolithic (const HioPlant &rPlant, const HioPlant &rSpec, const HioConstraint &rSc, const HioConstraint &rSp, const HioConstraint &rSe, HioController &rController) |
| |
| void | faudes::HioSynthHierarchical (const HioPlant &rHioShuffle, const HioEnvironment &rEnvironment, const HioPlant &rSpec, const Generator &rIntConstr, const HioConstraint &rSc, const HioConstraint &rSl, HioController &rController) |
| |
| 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) |
| |
Algorithms for hierarchical discrete event systems with inputs and outputs
Definition in file hio_functions.cpp.
libFAUDES 2.33c
--- 2025.05.15
--- c++ api documentaion by doxygen
|