| |
libFAUDES
PlugIns
Types
Functions
|
EventSetAn EventSet is a set of named events. It is internally represented by an STL set of indicees thet refer to a global symbol-table to map indicees to symbolic names. In an event set, each event can be associated with an attribute value, to indicate controllability, observability or forcibility. These attributes are local to the set, i.e. whether an event is observable depends on the perspective one takes. The default attribute is non-controllable, non-forcible and observable. The token-io format is as follows. <Alphabet> "alpha" +C+ % observable and controllable "beta" +o+ % not observable "gamma" % default </Alphabet>
|
libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"