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.