Exemple #1
0
 public KnowledgeBaseCollection()
 {
     _mgr = KBmanager.getMgr();
     _it  = _mgr.getKBnames().iterator();
 }
Exemple #2
0
 public PreferenceCollection()
 {
     _mgr = KBmanager.getMgr();
 }
Exemple #3
0
 public KnowledgeBaseCollection()
 {
     _mgr = KBmanager.getMgr();
     _it = _mgr.getKBnames().iterator();
 }
Exemple #4
0
 public PreferenceCollection()
 {
     _mgr = KBmanager.getMgr();
 }