void IDebugEventSink.Visit(Enter enter) { RaiseUnified(enter.Node.HeadGoal); }
void IDebugEventSink.Visit(Enter enter) { var sb = new StringBuilder (); var goal = enter.Node.HeadGoal; sb.Append (new string (' ', goal.Level * 4)); SolutionTreePrinter.Print (goal, sb); listView1.Items.Add (sb.ToString ()); }
void IDebugEventSink.Visit (Enter enter) { RaiseUnified (enter.Node.HeadGoal); }
void IDebugEventSink.Visit(Enter enter) { PrintGoal ("Enter: ", enter.Node.HeadGoal); }