public class SearchEngine
extends java.lang.Object
Constructor and Description |
---|
SearchEngine(SearchMgr searchMgr,
ProofAsst proofAsst,
ProofAsstPreferences proofAsstPreferences,
BookManager bookManager,
VerifyProofs verifyProofs,
Cnst cnst) |
Modifier and Type | Method and Description |
---|---|
SearchOutput |
execSearch() |
java.util.List<Assrt> |
getAssrtAList() |
SearchOutput |
searchTask() |
void |
setAssrtAList(java.util.List<Assrt> arraylist) |
public SearchEngine(SearchMgr searchMgr, ProofAsst proofAsst, ProofAsstPreferences proofAsstPreferences, BookManager bookManager, VerifyProofs verifyProofs, Cnst cnst)
public SearchOutput execSearch()
public SearchOutput searchTask()
public java.util.List<Assrt> getAssrtAList()
public void setAssrtAList(java.util.List<Assrt> arraylist)