public interface IREngine
IndexManager
and a Search
.Modifier and Type | Method and Description |
---|---|
IndexManager |
getIndexmanager()
Gets the index manager component of this IR engine.
|
String |
getName()
Gets the name for this IR engine.
|
Search |
getSearch()
Gets the search component of this IR engine.
|
IndexManager getIndexmanager()
IndexManager
value.Copyright © 2024 GATE. All rights reserved.