libFAUDES

Sections

Index

cfl_registry.cpp File Reference

Runtime interface, registry for faudes types and functions. More...

#include "cfl_registry.h"
#include "corefaudes.h"
#include "cfl_definitions.h"
#include "cfl_helper.h"
#include "cfl_exception.h"
#include "cfl_attributes.h"
#include "cfl_baseset.h"
#include "cfl_basevector.h"
#include "cfl_elementary.h"
#include "cfl_indexset.h"
#include "cfl_symboltable.h"
#include <set>
#include <map>
#include <algorithm>
#include "cfl_nameset.h"
#include "cfl_transset.h"
#include "cfl_generator.h"
#include "cfl_agenerator.h"
#include "cfl_graphfncts.h"
#include "cfl_parallel.h"
#include "cfl_project.h"
#include "cfl_statemin.h"
#include "cfl_omega.h"
#include "cfl_cgenerator.h"
#include "corefaudes.h"
#include <stack>
#include "syn_include.h"
#include <iostream>
#include "op_debug.h"
#include <vector>
#include <string>
#include <sstream>
#include "op_observercomputation.h"
#include "op_partition.h"
#include "op_bisimulation.h"
#include "diag_attrlabelset.h"
#include "diag_debug.h"
#include "diag_attrfailureevents.h"
#include "op_include.h"
#include "diag_generator.h"
#include "diag_attrdiagstate.h"
#include "diag_attrfailuretypes.h"
#include "op_obserververification.h"
#include "diag_languagediagnosis.h"
#include "diag_eventdiagnosis.h"
#include "hio_attributes.h"
#include "hio_constraint.h"
#include "hio_plant.h"
#include "hio_controller.h"
#include "hio_environment.h"
#include "ios_attributes.h"
#include "ios_system.h"
#include "mtc_attributes.h"
#include "mtc_generator.h"
#include <list>
#include "mtc_parallel.h"
#include "mtc_statemin.h"
#include "mtc_project.h"
#include "mtc_observercomputation.h"
#include <cstdlib>
#include <cstring>
#include <cfloat>
#include <climits>
#include "tp_timeinterval.h"
#include "tp_timeconstraint.h"
#include "tp_attributes.h"
#include "tp_tgenerator.h"
#include "tp_include.h"
#include "sp_executor.h"
#include "sp_densityfnct.h"
#include "sp_pexecutor.h"
#include "sp_simconditionset.h"
#include "sp_lpexecutor.h"
#include "sp_random.h"
#include "sp_plpexecutor.h"
#include "sp_simeventset.h"
#include <ctime>
#include <pthread.h>
#include "iop_vdevice.h"
#include "iop_sdevice.h"
#include "iop_include.h"
#include <sys/socket.h>
#include <arpa/inet.h>
#include <netdb.h>
#include <cerrno>

Go to the source code of this file.

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.


Functions

void faudes::LoadRegistry (const std::string &rPath="")
 Load all registered types and functions.
void faudes::SaveRegistry (const std::string &rPath="")
 Dump all registered types and functions.
void faudes::ClearRegistry (void)
 Clear all registry.
Type * faudes::NewFaudesObject (const std::string &rTypeName)
 Instantiate faudes typed objects by type name.
Function * faudes::NewFaudesFunction (const std::string &rFunctName)
 Instantiate faudes function objects by function name.
const std::string & faudes::FaudesTypeName (const Type &rObject)
 Query type name.
const std::string & faudes::FaudesFunctionName (const Function &rObject)

Detailed Description

Runtime interface, registry for faudes types and functions.

Definition in file cfl_registry.cpp.

libFAUDES 2.18b --- 2010-12-17 --- c++ source docu by doxygen 1.6.3