/// <summary>
/// Write BDD to stream.
/// </summary>
/// <param name="bdd">
/// The bdd.
/// </param>
/// <param name="stream">
/// The stream.
/// </param>
public override void Write(BinaryDecisionDiagram bdd, FileStream stream)
{
using (var sw = new StreamWriter(stream, Encoding.UTF8, 65536))
{
sw.WriteLine("digraph G {");
sw.WriteLine("0 [shape=box, label=\"0\", style=filled, shape=box, height=0.3, width=0.3];");
sw.WriteLine("1 [shape=box, label=\"1\", style=filled, shape=box, height=0.3, width=0.3];");
List <BDDNode> flat = BDDNode.Traverse(bdd.Root).ToList();
flat = (from f in flat orderby f.Variable select f).Reverse().ToList();
var fastAccess = new Dictionary <BDDNode, int>();
for (int i = 0; i < flat.Count; i++)
{
fastAccess.Add(flat[i], i);
}
for (int i = 2; i < flat.Count; i++)
{
sw.WriteLine(i + " [label=\"" + flat[i].Variable + "\"];\n" + i + " -> " + fastAccess[flat[i].LowNode] + " [style=dotted];\n" + i + " -> " + fastAccess[flat[i].HighNode] + " [style=filled];");
}
sw.WriteLine("}");
}
}
/// <summary>
/// Flattens the structure to list.
/// </summary>
/// <returns>
/// The <see>
/// <cref>IEnumerable</cref>
/// </see>
/// .
/// </returns>
public IEnumerable <BDDNode> FlatMap()
{
return(BDDNode.Traverse(this.Root));
}
