/// <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);
}
