CompileDES  3.09
Executable-Code Generation from Synchronised libFAUDES Automata
cgp_eventconfig.h File Reference

Event attributes (execution semantics) More...

Detailed Description

Definition in file cgp_eventconfig.h.

#include "libfaudes.h"

Go to the source code of this file.

Classes

class  AttributeCodeGeneratorEvent
 Event attributes for the purpose of code generation. More...
struct  AttributeCodeGeneratorEvent::InputTrigger
 Typedef for an individual trigger condition. More...
struct  AttributeCodeGeneratorEvent::OutputAction
 Typedef for an individual output action. More...
struct  AttributeCodeGeneratorEvent::TimeConstraint
 Typedef for timer specification (internal events only) More...

Macros

#define FD_DCG(message)

Typedefs

typedef TaNameSet
< AttributeCodeGeneratorEvent
cgEventSet
 Convenience typedef: eventset with code-generator config attributes.

Class Documentation

struct AttributeCodeGeneratorEvent::InputTrigger
Class Members
string mAddress
bool mPos
bool mNeg
bool mStatic
bool mExe
struct AttributeCodeGeneratorEvent::OutputAction
Class Members
string mAddress
bool mSet
bool mClr
bool mExe function call
struct AttributeCodeGeneratorEvent::TimeConstraint
Class Members
string mInitialValue
EventSet mStartEvents
EventSet mStopEvents
EventSet mResetEvents