About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES

Sections

Types

Functions

General Purpose Functions

Due to colored marking of states, functions that refer to the marked languages of an MtcSystem require reimplementation.

MtcParallel

Parallel composition of two colored genertors.

Signature:

MtcParallel(+In+ MtcSystem G1, +In+ MtcSystem G2, +Out+ MtcSystem GRes)

MtcProject

Natural projection of colored languages.

Signature:

MtcProject(+In+ MtcSystem G, +In+ EventSet Sigma0, +Out+ MtcSystem GRes)

MtcInvProject

Inverse projection of colored languages.

Signature:

MtcInvProject(+InOut+ MtcSystem G0, +In+ EventSet Sigma)
MtcInvProject(+In+ MtcSystem G0, +In+ EventSet Sigma, +Out+ MtcSystem GRes)

MtcDeterministic

Powerset construction to enforce determinism incl. colored markings.

Signature:

MtcDeterministic(+In+ MtcSystem G, +Out+ MtcSystem GRes)

MtcStateMin

State spsce minimisation w.r.t. colored languages

Signature:

MtcStateMin(+In+ MtcSystem G, +Out+ MtcSystem GRes)

libFAUDES 2.20d --- 2011.04.26 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-timed-simulator-iodevice-luabindings"