public KnowledgeBaseCollection() { _mgr = KBmanager.getMgr(); _it = _mgr.getKBnames().iterator(); }
public void Reset() { _it = _mgr.getKBnames().iterator(); }