public XmlGraphNode CreateNext(string id) { var node = _owner.CreateNode(id); this.ConnectTo(node); return(node); }
public static XmlGraph ToXmlGraph(this TlaAutomaton automaton) { var xg = new XmlGraph(); foreach (var state in automaton.AllStates) { string name = string.Empty; if (state.IsInitial) { name += "Initial" + Environment.NewLine; } name += state.Name; if (state.IsAccepting) { name += Environment.NewLine + "Accepting"; } xg.CreateNode(state.Name).Text = name; } foreach (var item in automaton.AllTransitions) { xg[item.FromState.Name].ConnectTo(xg[item.ToState.Name]).Text = item.Condition == null ? "<NULL>" : item.Condition.ToString(); } return(xg); }