public ExploreResult(Guid explorationId, ExplorationStatus status, string dataSource, string table, VersionInfo versionInfo)
{
Id = explorationId;
Status = status;
DataSource = dataSource;
Table = table;
Columns = Array.Empty <ColumnMetricsCollection>();
SampleData = Array.Empty <IEnumerable <object?> >();
VersionInfo = versionInfo;
}
public ExploreResult(
Guid explorationId,
ExplorationStatus status,
ExploreParams exploreParams)
{
Id = explorationId;
Status = status;
DataSource = exploreParams.DataSource;
Table = exploreParams.Table;
ColumnMetrics = exploreParams.Columns.Select(c => new ColumnMetricsType(c)).ToList();
SampleData = new List <List <object?> >();
Correlations = new List <ExploreMetric>();
}
public IEnumerable Explore(WorldState initial, EventDescriptor[] evtDescs)
{
List<ExplorationNode> stateSpace = new List<ExplorationNode>();
this.status = ExplorationStatus.Exploring;
foreach (var step in Step_Exploring(initial, evtDescs, stateSpace))
{
exploredNodes = stateSpace.Count;
if (exploredNodes > MAX_NODES)
break;
yield return null;
}
// TODO: Temporarily disabling expanding..
//this.status = Status.Expanding;
//foreach (var step in Step_Expanding(stateSpace))
// yield return null;
this.status = ExplorationStatus.PageRank;
foreach (var step in Step_PageRanking(stateSpace, 0.85, 200, 5, 0.01))
yield return null;
this.status = ExplorationStatus.InversePageRank;
foreach (var step in Step_InversePageRanking(stateSpace, 0.85, 200, 5, 0.01))
yield return null;
this.status = ExplorationStatus.Path;
#if !GPU
foreach (var step in Step_Pathing(stateSpace))
yield return null;
#else
Console.WriteLine("\nProcessing paths on GPU...");
Crunch.GPUGraphUtil.GPUPath(stateSpace);
#endif
//this.status = ExplorationStatus.MinCut;
//foreach (var step in Step_MinCut(stateSpace))
// yield return null;
this.status = ExplorationStatus.Done;
this.space = new ExplorationSpace(stateSpace);
yield break;
}
private async Task RunStage(ExplorationStatus initialStatus, Func <Task> t)
{
try
{
cancellationTokenSource.Token.ThrowIfCancellationRequested();
Status = initialStatus;
await t();
}
catch (OperationCanceledException)
{
Status = ExplorationStatus.Canceled;
throw;
}
catch
{
Status = ExplorationStatus.Error;
throw;
}
}
public SpaceExplorer()
{
this.status = ExplorationStatus.Initializing;
this.space = null;
}
protected override void OnInitialized() => Status = ExplorationStatus.GetStatus(false, false).ReplaceWithHtmlLineBreaks();
