private void PrintGoal(Runtime.Goal goal, string type)
{
sb.Append(type);
sb.Append(new string (' ', 4 * goal.Level));
Runtime.SolutionTreePrinter.Print(goal, sb);
sb.AppendLine();
}
public void Engine_Failed(Runtime.Goal goal)
{
PrintGoal(goal, "Failed: ");
}
public void Engine_NewGoal(Runtime.Goal goal)
{
PrintGoal(goal, "NewGoal: ");
}
public void Engine_Unified(Runtime.Goal goal)
{
PrintGoal(goal, "Unified: ");
}
