public override void Draw()
{
var rectPuzzle = Puzzle.Area.Move((2, 4));
Renderer.Box(rectPuzzle.Outset(2));
Renderer.DrawMap(Puzzle, rectPuzzle.TL, x => Style[x]);
if (Solver is null)
{
var stats = RectInt.FromTwoPoints(Renderer.Geometry.TM, Renderer.Geometry.BR);
Renderer.TitleBox(stats, "Select Solver");
var start = stats.TL + (2, 2);
start = Renderer.DrawText(start, $"[F] {nameof(SingleThreadedForwardSolver)}", Style.DefaultPixel);
start = Renderer.DrawText(start, $"[R] {nameof(SingleThreadedReverseSolver)}", Style.DefaultPixel);
start = Renderer.DrawText(start, $"[M] {nameof(MultiThreadedForwardReverseSolver)}", Style.DefaultPixel);
}
else
{
// Solver Running, show progress
if (SolverTask.IsFaulted || SolverException != null)
{
// Error
Renderer.DrawText((0, 0), (SolverException ?? SolverTask.Exception).Message, Style.Error.AsPixel());
}
else if (SolverTask.IsCompleted)
{
// Done
Renderer.DrawText((0, 0), $"[{SolverState.Exit}:{(SolverState.EarlyExit ? "EARLY-EXIT": "")}] Solutions:{SolverState.SolutionsNodes?.Count ?? 0}", Style.DefaultPixel);
}
else
{
// Running
Renderer.DrawText((0, 0), $"[RUNNING] {SolverState?.Statistics?.Elapsed}", Style.DefaultPixel);
}
// For all
if (SolverState?.Statistics != null)
{
var s = SolverState.Statistics;
var stats = RectInt.FromTwoPoints(Renderer.Geometry.TM, Renderer.Geometry.BR);
Renderer.TitleBox(stats, "Statistics");
var start = stats.TL + (2, 2);
start = Renderer.DrawText(start, $"Solutions: {SolverState.SolutionsNodes?.Count}", Style.DefaultPixel);
start = Renderer.DrawText(start, $"Nodes: {s.TotalNodes} @ {s.TotalNodes / s.DurationInSec:0.0}/sec", Style.DefaultPixel);
if (Solver.Statistics != null)
{
foreach (var stLine in Solver.Statistics)
{
start = Renderer.DrawText(start, stLine.ToStringShort(), Style.DefaultPixel);
}
}
// if (SolverState is ISolverVisualisation vs && vs.TrySample(out var node))
// {
// Renderer.DrawMapWithPosition(node.CrateMap, rectPuzzle.TL,
// (p, c) => new CHAR_INFO(Puzzle[p].Underlying,
// c ? CHAR_INFO_Attr.BACKGROUND_GREEN | CHAR_INFO_Attr.FOREGROUND_GRAY: CHAR_INFO_Attr.FOREGROUND_GRAY));
//
// }
}
}
}