📄 eventspace.cc
字号:
////////////////////////////////////////////////////////////////////////// Copyright (c) 2000, Yusuke Miyao// You may distribute under the terms of the Artistic License.//// EventSpace.cc - class for an event space// $Id: EventSpace.cc,v 1.2 2003/05/11 18:12:13 yusuke Exp $////////////////////////////////////////////////////////////////////////#include <amis/EventSpaceInst.h>#include <amis/EventSpaceLauncherItem.h>AMIS_NAMESPACE_BEGINInitializer< Launcher< EventSpacePtr, Property*, StringPair >* >* EventSpaceLauncher::queue = NULL;AMIS_NAMESPACE_ENDnamespace { using namespace amis; EventSpaceLauncherItem< EventSpaceOnMemory< BinaryFeature >, EventSpaceOnFile< BinaryFeature > > event_space_binary( "Amis", "binary", "Standard event space (binary feature)" ); EventSpaceLauncherItem< EventSpaceOnMemory< IntegerFeature >, EventSpaceOnFile< IntegerFeature > > event_space_integer( "Amis", "integer", "Standard event space (integer feature)" ); EventSpaceLauncherItem< EventSpaceOnMemory< RealFeature >, EventSpaceOnFile< RealFeature > > event_space_real( "Amis", "real", "Standard event space (real feature)" );};// end of EventSpace.cc
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -