00001
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 #ifndef FAUDES_CGENFUNCT_H
00024 #define FAUDES_CGENFUNCT_H
00025
00026
00027 #include "definitions.h"
00028 #include "cgenerator.h"
00029 #include "project.h"
00030 #include "parallel.h"
00031 #include "supcon.h"
00032
00033
00034 namespace faudes {
00035
00036
00057 bool cIsControllable(
00058 const cGenerator& rPlantGen,
00059 const vGenerator& rSupCandGen);
00060
00061
00062
00093 void cSupConNB(
00094 const cGenerator& rPlantGen,
00095 const vGenerator& rSpecGen,
00096 cGenerator& rResGen);
00097
00098
00127 void cSupCon(
00128 const cGenerator& rPlantGen,
00129 const vGenerator& rSpecGen,
00130 cGenerator& rResGen);
00131
00132
00133
00150 void cParallel(const cGenerator& rGen1, const cGenerator& rGen2, cGenerator& rResGen);
00151
00152
00153
00154
00165 void cProjectNonDet(cGenerator& rGen, const EventSet& rProjectAlphabet);
00166
00179 void cProject(const cGenerator& rGen, const EventSet& rProjectAlphabet, cGenerator& rResGen);
00180
00191 void cInvProject(cGenerator& rGen, const cEventSet& rProjectAlphabet);
00192
00193
00194 }
00195
00196 #endif