home
wiki
classes/clusters list
class information
+
Point of view
SE
ANY
AGENT_ARGS
GC_HANDLER
JVM
C_PRETTY_PRINTER
LIVE_TYPE
AGENT_CREATION
AGENT_LAUNCHER
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class AGENT_POOL
Summary
top
Singleton object in charge of agents. This singleton is shared via the
GLOBALS
.
agent_pool
once function.
Direct parents
inherit list:
ANY
insert list:
GLOBALS
,
SINGLETON
Overview
top
exported features
set_launcher
set_launcher
effective procedure
top