public void Add(Obstruction obstruction) { Obstructions.Add (obstruction); }
public void ExportObstruction(Goal g, Obstruction o) { writer.WriteLine (@"""{0}"" -> ""{1}"" [arrowtail=onormaltee];", g.Identifier, o.Obstacle ().Identifier); }
protected void Render(Obstruction obstruction) { if (!shapes.ContainsKey (obstruction.ObstacleIdentifier)) return; if (!shapes.ContainsKey (obstruction.ObstructedGoalIdentifier)) return; var obstacleGraphic = shapes [obstruction.ObstacleIdentifier].First (); var goalGraphic = shapes [obstruction.ObstructedGoalIdentifier].First (); var topArrow = GetSharpBackCrossArrow (obstacleGraphic, goalGraphic); Add (obstruction.Identifier, topArrow); }