#include <vhdRuntime/vhdTimeManagerConfigProperty.h>#include <vhdProperty/vhdWarpClockConfigProperty.h>#include <vhdFundamental/vhdDiag.h>#include <vhdExceptions/vhdIllegalArgumentException.h>#include <vhdExceptions/vhdIllegalOperationException.h>#include <vhdExceptions/vhdIndexOutOfBoundsException.h>#include <vhdExceptions/vhdMemoryAllocationError.h>Classes | |
| class | vhdTimeManagerConfigProperty::_Impl |
Defines | |
| #define | _VHD_METHOD_NAME "vhdTimeManagerConfigProperty::vhdTimeManagerConfigProperty()" |
| #define | _VHD_METHOD_NAME "vhdTimeManagerConfigProperty::~vhdTimeManagerConfigProperty()" |
| #define | _VHD_METHOD_NAME "vhdTimeManagerConfigProperty::getWarpClockConfigProperty( const std::string & warpClockName)" |
| #define | _VHD_METHOD_NAME "vhdTimeManagerConfigProperty::getWarpClockConfigProperties()" |
Functions | |
| vhdCLASS_TYPE_INIT (vhdTimeManagerConfigProperty, vhdProperty) | |
| vhdTimeManagerConfigProperty::vhdTimeManagerConfigProperty () | |
| vhdTimeManagerConfigProperty::~vhdTimeManagerConfigProperty () | |
| vhdWarpClockConfigPropertyRef | vhdTimeManagerConfigProperty::getWarpClockConfigProperty (const std::string &warpClockName) |
| std::deque< vhdWarpClockConfigPropertyRef > | vhdTimeManagerConfigProperty::getWarpClockConfigProperties () |
| #define _VHD_METHOD_NAME "vhdTimeManagerConfigProperty::getWarpClockConfigProperties()" |
| #define _VHD_METHOD_NAME "vhdTimeManagerConfigProperty::getWarpClockConfigProperty( const std::string & warpClockName)" |
| #define _VHD_METHOD_NAME "vhdTimeManagerConfigProperty::~vhdTimeManagerConfigProperty()" |
| #define _VHD_METHOD_NAME "vhdTimeManagerConfigProperty::vhdTimeManagerConfigProperty()" |
| vhdCLASS_TYPE_INIT | ( | vhdTimeManagerConfigProperty | , | |
| vhdProperty | ||||
| ) |
1.5.1-p1