private void graphviz_FormatDoorEdge(object sender, FormatEdgeEventArgs <int, TaggedEdge <int, string> > e)
{
//Take tag from TaggedEdge and add as label on edge in serialized view
TaggedEdge <int, string> edge = e.Edge;
var edgeFormattor = e.EdgeFormatter;
//If there is a door on this edge, override with this tag
var doorHere = model.DoorAndClueManager.GetDoorsForEdge(edge);
string edgeTag = edge.Tag;
if (doorHere.Count() > 0)
{
edgeTag = "";
foreach (var door in doorHere)
{
edgeTag += door.Id + "+";
}
}
edgeFormattor.Label = new QuickGraph.Graphviz.Dot.GraphvizEdgeLabel();
edgeFormattor.Label.Value = edgeTag;
}
private static void OnFormatInfoEdge(object sender, FormatEdgeEventArgs <Vertex, Edge> e)
{
var treeNode = e.Edge.Target.Node as IInformationTreeNode;
var relCount = (treeNode?.Value ?? 1d) / treeNode?.RootNode?.Value ?? 1d;
FormatEdge(relCount, e.EdgeFormatter);
}
private static void NoOpEdgeFormatter <TVertex, TEdge>(object sender, FormatEdgeEventArgs <TVertex, TEdge> e)
where TEdge : IEdge <TVertex>
//where TVertex : ExpansionTreeNode
{
// noop
//e.EdgeFormatter.Label.Value = e.Edge.Label;
}
private static void FormatEdge(object sender, FormatEdgeEventArgs <Vertex, Edge> e)
{
//e.EdgeFormatter.HeadArrow = new GraphvizArrow(GraphvizArrowShape.None);
e.EdgeFormatter.Label = new GraphvizEdgeLabel();
e.EdgeFormatter.Label.Value = e.Edge.Flow.ToString() + "/" +
e.Edge.Weight.ToString();
}
static void MyEdgeFormatter(object sender, FormatEdgeEventArgs <string, TaggedEdge <string, string> > e)
{
var label = new GraphvizEdgeLabel();
label.Value = e.Edge.Tag;
e.EdgeFormatter.Label = label;
}
private void graphviz_FormatEdge(object sender, FormatEdgeEventArgs <int, IEdge <int> > e)
{
foreach (var proc in GraphProcessors)
{
proc.ProcessEdge(e.EdgeFormatter, _solution.Projects[e.Edge.Source], _solution.Projects[e.Edge.Target]);
}
}
/// <summary>
/// Format edge event handler
/// </summary>
/// <param name="sender"></param>
/// <param name="args"></param>
public void FormatEdge(Object sender, FormatEdgeEventArgs args)
{
NamedEdge e = (NamedEdge)args.Edge;
args.EdgeFormatter.Label.Value = ((NamedEdge)args.Edge).Name;
// setting the vertex name
if (CurrentEdgePath != null)
{
if (CurrentEdgePath.Contains(e))
{
args.EdgeFormatter.Label.Value = String.Format("{0} ({1})",
e.Name,
m_CurrentEdgePath.IndexOf(e)
);
args.EdgeFormatter.Style = GraphvizEdgeStyle.Bold;
args.EdgeFormatter.Label.FontColor = Color.DarkGreen;
args.EdgeFormatter.StrokeColor = Color.DarkGreen;
}
else
{
args.EdgeFormatter.Label.FontColor = Color.Gray;
args.EdgeFormatter.StrokeColor = Color.Gray;
args.EdgeFormatter.Style = GraphvizEdgeStyle.Unspecified;
}
}
}
void graphvis_edgeFormatter(object sender, FormatEdgeEventArgs e)
{
e.EdgeFormatter.Label.Value = ((NamedEdge)e.Edge).Name;
e.EdgeFormatter.Font = new Font(FontFamily.GenericSerif, 6);
e.EdgeFormatter.Head = new GraphvizEdgeExtremity(true);
//e.EdgeFormatter.Weight = ((TypeVertex)e.Edge.Target).IncomingLinks;
// Arrow.Shape = NGraphviz.Helpers.GraphvizArrowShape.Normal;
}
private static void FormatEdge(object sender, FormatEdgeEventArgs <uzel, Edge <uzel> > e)
{
//e.EdgeFormatter.Head.Label = e.Edge.Source.group;
//e.EdgeFormatter.Tail.Label = e.Edge.Source.subject;
e.EdgeFormatter.Font = new GraphvizFont("Calibri", 8);
e.EdgeFormatter.FontGraphvizColor = GraphvizColor.Black;
e.EdgeFormatter.StrokeGraphvizColor = GraphvizColor.Black;
}
/// <summary>
/// Formats a <see cref="DataRelationEdge"/> (a relation between tables).
/// </summary>
protected virtual void FormatRelation([NotNull] object sender, [NotNull] FormatEdgeEventArgs <DataTable, DataRelationEdge> args)
{
Debug.Assert(sender != null);
Debug.Assert(args != null);
GraphvizEdge format = args.EdgeFormat;
format.Label.Value = args.Edge.Relation.RelationName;
}
private void EdgeFormatter(object sender, FormatEdgeEventArgs <string, EquatableEdge <string> > e)
{
GraphvizEdgeLabel label = new GraphvizEdgeLabel
{
// Value = e.Edge.,
};
e.EdgeFormat.Label = label;
}
private void EdgeFormatter(object sender, FormatEdgeEventArgs <string, TaggedEdge <string, string> > e)
{
GraphvizEdgeLabel label = new GraphvizEdgeLabel
{
Value = e.Edge.Tag,
};
e.EdgeFormat.Label = label;
}
void gv_FormatEdge(object sender, FormatEdgeEventArgs e)
{
NamedEdge edge = e.Edge as NamedEdge;
if (edge == null)
{
return;
}
e.EdgeFormatter.Label.Value = edge.Name;
}
protected virtual void FormatRelationEdge(object sender, FormatEdgeEventArgs <DataTable, DataRelationEdge> args)
{
Contract.Requires(sender != null);
Contract.Requires(args != null);
var e = args.Edge;
var format = args.EdgeFormatter;
format.Label.Value = e.Relation.RelationName;
}
private static void graphviz_FormatEdge(object sender, FormatEdgeEventArgs<int, TaggedEdge<int, string>> e)
{
//Take tag from TaggedEdge and add as label on edge in serialized view
TaggedEdge<int, string> edge = e.Edge;
var edgeFormattor = e.EdgeFormatter;
string edgeTag = edge.Tag;
edgeFormattor.Label = new QuickGraph.Graphviz.Dot.GraphvizEdgeLabel();
edgeFormattor.Label.Value = edgeTag;
}
/*
* задаёт стиль рёбер графа
*/
private static void FormatEdge(object sender, FormatEdgeEventArgs <string, UndirectedEdge <string> > e)
{
e.EdgeFormatter.Dir = 0;
e.EdgeFormatter.Font = new GraphvizFont("Calibri", 8);
e.EdgeFormatter.FontGraphvizColor = GraphvizColor.Black;
e.EdgeFormatter.StrokeGraphvizColor = GraphvizColor.Black;
}
private static void FormatEdge(object sender, FormatEdgeEventArgs <int, LBDDToGraph.Edge> e)
{
if (e.Edge.Type)
{
e.EdgeFormatter.StrokeColor = Color.Blue;
}
else
{
e.EdgeFormatter.StrokeColor = Color.DarkRed;
e.EdgeFormatter.Style = GraphvizEdgeStyle.Dotted;
}
}
private static void OnFormatEdge(object sender, FormatEdgeEventArgs <Node, Edge> e)
{
// transparent edges
var formatter = e.EdgeFormatter;
formatter.StrokeGraphvizColor = new GraphvizColor(EDGE_ALPHA, 0, 0, 0);
formatter.Font = new GraphvizFont(FONT_NAME, EDGE_FONT_SIZE);
formatter.FontGraphvizColor = new GraphvizColor(EDGE_ALPHA, FONT_COLOR, FONT_COLOR, FONT_COLOR);
formatter.Label.Value = e.Edge.ShowLabel
? e.Edge.Weight.ToString("0.##", CultureInfo.InvariantCulture)
: string.Empty;
}
private static void graphviz_FormatEdge(object sender, FormatEdgeEventArgs <int, TaggedEdge <int, string> > e)
{
//Take tag from TaggedEdge and add as label on edge in serialized view
TaggedEdge <int, string> edge = e.Edge;
var edgeFormattor = e.EdgeFormatter;
string edgeTag = edge.Tag;
edgeFormattor.Label = new QuickGraph.Graphviz.Dot.GraphvizEdgeLabel();
edgeFormattor.Label.Value = edgeTag;
}
/// <summary>
/// Выделить цветом на графе связи топологии между вершинами графа.
/// </summary>
/// <param name="args">Аргументы события отрисовки грани.</param>
/// <param name="coloredEdges">Перечисление окрашенных путей в графе.</param>
protected void HighlightEdge(FormatEdgeEventArgs <TopologyVertex, TopologyEdge> args, Dictionary <TopologyEdge, Color> coloredEdges)
{
try
{
if (!coloredEdges.ContainsKey(args.Edge))
{
return;
}
args.EdgeFormatter.FontColor = coloredEdges[args.Edge];
args.EdgeFormatter.StrokeColor = coloredEdges[args.Edge];
}
catch (Exception ex)
{
Console.WriteLine("HighlightEdge failed! {0}", ex.Message);
}
}
private void FormatEdge(Object sender, FormatEdgeEventArgs e)
{
IEdge edge = e.Edge;
if (edge is ReversedEdge)
edge = ((ReversedEdge)e.Edge).Wrapped;
if (vis.Successors.ContainsValue(edge))
e.EdgeFormatter.StrokeColor = Color.Red;
else
e.EdgeFormatter.StrokeColor = Color.Black;
if (edge is NamedEdge)
{
e.EdgeFormatter.Label.Value = ((NamedEdge)edge).Name;
}
else
{
e.EdgeFormatter.Label.Value="";
}
}
void graphviz_FormatEdge(object sender, FormatEdgeEventArgs e)
{
double cap = this.capacities[e.Edge];
string label = cap.ToString();
if (this.maxFlow != null)
{
double r = this.maxFlow.ResidualCapacities[e.Edge];
double f = this.capacities[e.Edge] - r;
label = string.Format("{0} - {1}", label, f);
}
if (this.reversedEdgeAugmentor.AugmentedEdges.Contains(e.Edge))
{
e.EdgeFormatter.Style = NGraphviz.Helpers.GraphvizEdgeStyle.Dashed;
}
else
{
e.EdgeFormatter.Style = NGraphviz.Helpers.GraphvizEdgeStyle.Solid;
}
e.EdgeFormatter.Label.Value = label;
}
private static void FormatEdge(object sender, FormatEdgeEventArgs <string, TaggedEdge <string, string> > e)
{
e.EdgeFormatter.Head.Label = e.Edge.Tag;
e.EdgeFormatter.Font = new GraphvizFont(System.Drawing.FontFamily.GenericMonospace.Name, 12);
e.EdgeFormatter.FontGraphvizColor = GraphvizColor.Black;
double value = double.Parse(e.Edge.Tag.Replace('.', ','));
if (value > 0)
{
e.EdgeFormatter.StrokeGraphvizColor = new GraphvizColor(255, 255, 46, 46);
}
else if (value < 0)
{
e.EdgeFormatter.StrokeGraphvizColor = new GraphvizColor(255, 46, 143, 255);
}
else
{
e.EdgeFormatter.StrokeGraphvizColor = GraphvizColor.Black;
}
}
private static void OnFormatElementEdge(object sender, FormatEdgeEventArgs <Vertex, Edge> e)
{
FormatEdge(1, e.EdgeFormatter);
}
void EdgeStyler(object sender, FormatEdgeEventArgs <Vertex, Edge <Vertex> > e)
{
}
static void NoOpEdgeFormatter <TVertex, TEdge>(object sender, FormatEdgeEventArgs <TVertex, TEdge> e)
where TEdge : IEdge <TVertex>
{
// noop
}
private void graphviz_FormatDoorEdge(object sender, FormatEdgeEventArgs<int, TaggedEdge<int, string>> e)
{
//Take tag from TaggedEdge and add as label on edge in serialized view
TaggedEdge<int, string> edge = e.Edge;
var edgeFormattor = e.EdgeFormatter;
//If there is a door on this edge, override with this tag
var doorHere = model.DoorAndClueManager.GetDoorsForEdge(edge);
string edgeTag = edge.Tag;
if (doorHere.Count() > 0)
{
edgeTag = "";
foreach(var door in doorHere)
edgeTag += door.Id + "+";
}
edgeFormattor.Label = new QuickGraph.Graphviz.Dot.GraphvizEdgeLabel();
edgeFormattor.Label.Value = edgeTag;
}
void graphviz_FormatEdge(object sender, FormatEdgeEventArgs e)
{
}
private void graphviz_FormatEdge(object sender, FormatEdgeEventArgs<int, IEdge<int>> e)
{
foreach(var proc in GraphProcessors)
{
proc.ProcessEdge(e.EdgeFormatter, _solution.Projects[e.Edge.Source], _solution.Projects[e.Edge.Target]);
}
}
void CostEdgeFormatter(object sender, FormatEdgeEventArgs<string, Edge<string>> e)
{
e.EdgeFormatter.Label.Value = _costs[e.Edge].ToString("0.0");
}
void EdgeStyler(object sender, FormatEdgeEventArgs<Vertex, Edge<Vertex>> e)
{
}
private static void FormatEdge(object sender, FormatEdgeEventArgs <Tree, Edge <Tree> > e)
{
}
void CostEdgeFormatter(object sender, FormatEdgeEventArgs <string, Edge <string> > e)
{
e.EdgeFormatter.Label.Value = _costs[e.Edge].ToString("0.0");
}
private void FormatEdge(Object sender, FormatEdgeEventArgs args)
{
args.EdgeFormatter.Label.Value = (args.Edge as NamedEdge).Name;
}
private static void Edge1OnEdgeFormatted(object sender, FormatEdgeEventArgs <Vertex, Edge> formatEdgeEventArgs)
{
Trace.WriteLine($"{(Edge)sender} was formatted");
}
