public class CompiledSearchArgs
extends java.lang.Object
Constructor and Description |
---|
CompiledSearchArgs(SearchArgs args,
SearchMgr searchMgr,
BookManager bookManager,
SearchOutput searchOutput,
ProofAsst proofAsst,
ProofAsstPreferences proofAsstPreferences,
VerifyProofs verifyProofs,
Cnst cnst) |
public CompiledSearchArgs(SearchArgs args, SearchMgr searchMgr, BookManager bookManager, SearchOutput searchOutput, ProofAsst proofAsst, ProofAsstPreferences proofAsstPreferences, VerifyProofs verifyProofs, Cnst cnst)