cgenerator.h File Reference


Detailed Description

Classes TcGenerator, cGenerator and AttributeCFlags.

Definition in file cgenerator.h.

#include "definitions.h"
#include "agenerator.h"

Go to the source code of this file.

Namespaces

namespace  faudes

Classes

class  faudes::AttributeCFlags
 Attribute class to model event controllability properties. More...
class  faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
 Generator with controllability attributes. More...

Defines

#define THIS   TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>
#define BASE   TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>
#define TEMP   template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
#define CGENERATOR_H

Typedefs

typedef TcGenerator< AttributeVoid,
AttributeVoid, AttributeCFlags,
AttributeVoid > 
faudes::cGenerator
 Convenience typedef for std cGenerator.
typedef TaNameSet< AttributeCFlags > faudes::cEventSet
 EventSet with controllablity properties.


Define Documentation

#define BASE   TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>
 

Definition at line 643 of file cgenerator.h.

#define CGENERATOR_H
 

Definition at line 1095 of file cgenerator.h.

#define TEMP   template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
 

Definition at line 644 of file cgenerator.h.

#define THIS   TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>
 

Definition at line 642 of file cgenerator.h.


Generated on Fri May 9 11:26:47 2008 for libFAUDES 2.09b by  doxygen 1.4.4