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
	faudes
	libFAUDES resides within the namespace faudes.

Macros
#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.

Macro Definition Documentation

FD_DIO

#define FD_DIO

(

message

)

Definition at line 18 of file ios_attributes.h.