public SearchOptions(EngineSearchOptions options)
{
InitializeComponent();
_options = options;
txtMaxNumberOfNodes.Text = _options.MaxNumberOfNodes.ToString();
txtMaxNumberOfResults.Text = _options.MaxNumberOfResults.ToString();
txtMaxNumberOfGeneration.Text = _options.MaxNumberOfGeneration.ToString();
cbUseTextOnlySearch.Checked = _options.UseTextOnlySearch;
cbDontCompleteGraphs.Checked = _options.DontCompleteGraphs;
cbReportNonLeafResults.Checked = _options.ReportNonLeafResults;
cbReportSearchGraph.Checked = _options.ReportSearchGraph;
}
public SearchUI()
{
InitializeComponent();
showLastSearchGraphToolStripMenuItem.Enabled = false;
_options = new EngineSearchOptions();
_searchEngine = Engine.CreateEngine();
_searchEngine.OnProgress += new Engine.NotifyProgress(searchEngine_OnProgress);
_searchEngine.OnStep += new Engine.NotifyStep(searchEngine_OnStep);
showLastSearchGraphToolStripMenuItem.Enabled = false;
showDomainRelationGraphToolStripMenuItem.Enabled = false;
}
