ios_attributes.h File Reference

I/O-system attributes. More...

#include "corefaudes.h"

Go to the source code of this file.

Classes

class  faudes::AttributeIosEvent
 Attributes for events in DES with in- and outputs. More...
class  faudes::AttributeIosState
 Attributes for states in DESs with in- and outputs. More...

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.


Defines

#define FD_DIO(message)

Typedefs

typedef TaNameSet
< AttributeIosEvent > 
faudes::IosEventSet
typedef TaIndexSet
< AttributeIosState > 
faudes::IosStateSet

Detailed Description

I/O-system attributes.

Definition in file ios_attributes.h.


Define Documentation

#define FD_DIO ( message   ) 

Definition at line 18 of file ios_attributes.h.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen