/// <summary> /// Initializes a new instance of the <see cref="CGraphPrinter"/> class. /// </summary> /// <param name="graph">The graph.</param> protected internal CGraphPrinter(CGraph graph, AbstractGraphLabeling <CGraphNode> nodeLabeller = null, AbstractGraphLabeling <CGraphEdge> edgeLabeller = null) : base(graph) { if (nodeLabeller != null) { graph.SetNodeLabelContext(nodeLabeller); } else { graph.SetNodeLabelContext(); } if (edgeLabeller != null) { m_edgeLabelling = edgeLabeller; } else { m_edgeLabelling = m_graph.GetNativeEdgeLabelling(); } }
internal DFASerializer(CGraph graph, AbstractGraphLabeling <CGraphNode> nodeLabeller = null, AbstractGraphLabeling <CGraphEdge> edgeLabeller = null) : base(graph, nodeLabeller, edgeLabeller) { }
internal FASerializer(FA DFA, AbstractGraphLabeling <CGraphNode> nodeLabeller = null, AbstractGraphLabeling <CGraphEdge> edgeLabeller = null) : base(DFA, nodeLabeller, edgeLabeller) { m_DFA = DFA; }
internal FATextPrinter(CGraph graph, AbstractGraphLabeling <CGraphNode> nodeLabeller = null, AbstractGraphLabeling <CGraphEdge> edgeLabeller = null) : base(graph, nodeLabeller, edgeLabeller) { m_FAInfo = new FAGraphQueryInfo(graph, FA.m_FAINFOKEY); }