About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
src Directory Reference
Files
file
mtc2dot.cpp
[code]
file
mtc_attributes.cpp
[code]
Color attributes for states.
file
mtc_attributes.h
[code]
Color attributes for states.
file
mtc_colorset.cpp
[code]
Implements color sets for multitasking automata.
file
mtc_colorset.h
[code]
Implements color sets for multitasking automata.
file
mtc_generator.cpp
[code]
Methods for handling multitasking generators.
file
mtc_generator.h
[code]
Methods for handling multitasking generators.
file
mtc_include.h
[code]
Includes all multitasking plug-in headers.
file
mtc_observercomputation.cpp
[code]
Methods to compute natural projections that exhibit the obsrver property.
file
mtc_observercomputation.h
[code]
file
mtc_obserververification.cpp
[code]
Methods to verify the obsrver condition for natural projections.
file
mtc_obserververification.h
[code]
Methods to verify the obsrver condition for natural projections.
file
mtc_parallel.cpp
[code]
Methods for parallel composition of multitasking generators.
file
mtc_parallel.h
[code]
Methods for parallel composition of multitasking generators.
file
mtc_project.cpp
[code]
Methods for computing the natural projection of multitasking generators.
file
mtc_project.h
[code]
Methods for computing the natural projection of multitasking generators.
file
mtc_redundantcolors.cpp
[code]
Methods for removing redundant colors for the supervisor synthesis from MtcSystems.
file
mtc_redundantcolors.h
[code]
Methods for removing redundant colors for the supervisor synthesis from MtcSystems.
file
mtc_statemin.cpp
[code]
State space minimization.
file
mtc_statemin.h
[code]
State space minimization.
file
mtc_supcon.cpp
[code]
Supremal controllable sublanguage and controllablity.
file
mtc_supcon.h
[code]
Supremal controllable sublanguage and controllablity.
libFAUDES 2.32f
--- 2024.12.22 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page