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 "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::ClearRegistry (void)
 Clear all registry.
Type * faudes::NewObject (const std::string &rTypeName)
 Convenience function to access registry singleton.
const std::string & faudes::TypeName (const Type &rObject)
 Convenience function to access registry singleton.
Function * faudes::NewFunction (const std::string &rFunctName)
 Convenience function to access registry singleton.

Detailed Description

Runtime interface, registry for faudes types and functions.

Definition in file cfl_registry.cpp.

libFAUDES 2.16b --- 2010-9-8 --- c++ source docu by doxygen 1.6.3