private static void AddElementsFor(this IList<string> alphabet, DomainProperty domprop) { alphabet.AddElementsFor (domprop.FormalSpec); }
private static void AddElementsFor(this IList<string> alphabet, Obstacle obstacle) { alphabet.AddElementsFor (obstacle.FormalSpec); }
private static void AddElementsFor(this IList<string> alphabet, Goal goal) { alphabet.AddElementsFor (goal.FormalSpec); }