static void convert_library_to_agent(AgentLibrary* lib)

  {- -------------------------------------------
  (1) lib 引数で指定された AgentLibrary オブジェクトを
      _libraryList から取り除き, 代わりに _agentList に追加する.
      ---------------------------------------- -}

                                                { _libraryList.remove(lib);
                                                  _agentList.add(lib); }