Documentation of the AgentManager class