hio_environment.h File Reference
#include "corefaudes.h"
#include "hio_attributes.h"

Go to the source code of this file.

Classes

class  faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >
 

Namespaces

 faudes
 

Macros

#define THIS   THioEnvironment<GlobalAttr, StateAttr, EventAttr, TransAttr>
 
#define BASE   TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr>
 
#define TEMP   template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
 
#define HIOENVIRONMENT_H
 

Typedefs

typedef THioEnvironment< AttributeVoid, HioStateFlags, HioEventFlags, AttributeVoid > faudes::HioEnvironment
 

Functions

bool faudes::IsHioEnvironmentForm (HioEnvironment &rHioEnvironment, StateSet &rQYe, StateSet &rQUe, StateSet &rQUl, StateSet &rQYlUe, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, std::string &rReportStr)
 
bool faudes::IsHioEnvironmentForm (HioEnvironment &rHioEnvironment, std::string &rReportStr)
 
bool faudes::IsHioEnvironmentForm (HioEnvironment &rHioEnvironment)
 
void faudes::HioStatePartition (HioEnvironment &rHioEnvironment)
 

Detailed Description

Generator with I/O-environment attributes

Definition in file hio_environment.h.

Macro Definition Documentation

◆ BASE

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

Definition at line 960 of file hio_environment.h.

◆ HIOENVIRONMENT_H

#define HIOENVIRONMENT_H

Definition at line 1888 of file hio_environment.h.

◆ TEMP

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

Definition at line 961 of file hio_environment.h.

◆ THIS

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

Definition at line 959 of file hio_environment.h.

libFAUDES 2.33c --- 2025.05.15 --- c++ api documentaion by doxygen