public void ExportRefinement(Obstacle parent, ObstacleRefinement refinement)
{
var tempGUID = Guid.NewGuid().ToString();
writer.WriteLine (@"""{0}""[shape=circle,width=.1,fixedsize=true,label=""""];", tempGUID);
writer.WriteLine (@"""{0}"" -> ""{1}"" [arrowtail=onormal];", parent.Identifier, tempGUID);
foreach (var child in refinement.SubObstacles()) {
writer.WriteLine (@"""{0}"" -> ""{1}"" [arrowtail=none];", tempGUID, child.Identifier);
}
foreach (var child in refinement.DomainHypotheses()) {
writer.WriteLine (@"""{0}"" -> ""{1}"" [arrowtail=none];", tempGUID, child.Identifier);
}
foreach (var child in refinement.DomainProperties()) {
writer.WriteLine (@"""{0}"" -> ""{1}"" [arrowtail=none];", tempGUID, child.Identifier);
}
}
