public override Tree Build(Vector initialMarking=null)
{
PetriNet.BuildIncedentMatrix();
var tree = new Tree();
tree.Root = new TreeNode(initialMarking ?? PetriNet.InitialMarking);
BuildFromNode(tree.Root);
return tree;
}
private void DrawTree(Tree tree, GViewer gViewer)
{
var g = new Graph("Coverage tree");
var graphbuilder = new GraphBuilder();
graphbuilder.FillGraph(g, tree.Root);
if(g.NodeCount<50)
gViewer.Graph = g;
}
