Ejemplo n.º 1
0
 void IDebugEventSink.Visit(Enter enter)
 {
     RaiseUnified(enter.Node.HeadGoal);
 }
Ejemplo n.º 2
0
 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 ());
 }
Ejemplo n.º 3
0
 void IDebugEventSink.Visit (Enter enter)
 {
     RaiseUnified (enter.Node.HeadGoal);
 }
Ejemplo n.º 4
0
 void IDebugEventSink.Visit(Enter enter)
 {
     PrintGoal ("Enter: ", enter.Node.HeadGoal);
 }